その他

ゼミ資料

• Random and Cohen Reals ゼミ 第1回 (2020/3/4)

演習問題解答

Moschovakis, Descriptive Set Theory

• Exercises 1A (2/2)
• Exercises 1B (6/6)
• Exercises 1C (4/6)
• Exercises 1E (5/5)
• Exercises 1F (1/7)
• Exercises 2A (2/2)
• Exercises 2B (3/3)
• Exercises 3B (4/4)
• Exercises 3C (8/9)
• Exercises 3D (7/15)
• Exercises 6A (1/13)

Kunen, Set Theory

• Exercises III.1

ギャラリー

プログラムコード

• 整数aと自然数mに対してord_m(a)を求めるプログラム (Ruby)
• 3Dモデルを描画するプログラム (TypeScript)
• アセンブリ言語で再帰を使って階乗を計算するプログラム (x86)
• Mersenne Twisterが周期2^19937-1を持つことを確認するプログラム (Rust)
• C#による簡単なグラフィックスプログラム (C#)
• XorShiftの一例が周期最長になることを確かめるプログラム (Pari/GP)

プロジェクト

• C言語のサブセットのインタプリタ (OCaml)
• チューリングマシンのビジュアライズ (JavaScript)

アプリケーション

• C subset in JS
• Durand Kerner method

初代ポケモン関連

• 初代ポケモンの文字コードとゲームボーイの命令の表
• ポケモン赤緑のメモリを表示するやつの下地 とそれを使ったBizHawk用Luaスクリプト

トップページ