講義ノート
- 2019年度 数理情報学基礎論概論2 講義ノート[39ページ]
原始再帰関数，グジェゴルチク階層，高階汎関数，急増加階層，ダイアレクティカ解釈，ゲーデルの体系Tなど
- 2018年度 数理情報学6 講義ノート [57ページ]
論理と計算の入門：推件計算，完全性定理，NP問題など
- 2017年度 計算可能性理論特論 講義ノート [97ページ] (⇒旧版)
秋1期 講義ノート：計算モデル，決定問題，部分組合せ代数など
秋2期 講義ノート：表現空間の圏，実数の計算論，アルゴリズム情報理論など - 2017年度 数理情報学1 講義ノート [9ページ]
アルゴリズム的ランダム性，チャイティンのオメガ，法1一様分布，エルゴード定理など - 2017年度 数理情報学6 講義ノート [35ページ]
数理論理学入門：自然数論の超準モデル，原始再帰関数，ゲーデルの不完全性定理など
集中講義・サマースクール
- マーティン予想 [94ページ], 東北大学大学院理学研究科数学専攻 集中講義，2018年12月4日〜12月7日，東北大学 青葉山キャンパス川井ホール
- 歪んだコインとフラクタル [23ページ], 数学基礎論サマースクール2012「計算可能性とランダムネス」，2012年9月4日〜9月7日，東京工業大学 大岡山キャンパス．（拡張版：ランダムネス入門 [86ページ]）
過去の担当講義
- 2019年度: 微積分学の発展1,2, 数理情報学序論1, 数理情報学5,6 (確率論), 数理情報学基礎論概論2 (再帰理論), 計算可能性理論特論1,2
- 2018年度: 線形代数学I, 微積分学の発展1,2, 数理情報学序論1, 数理情報学6 (数理論理学), 数理情報学基礎論概論2 (再帰理論); 応用数理特論A (東北大・理・数; 集中講義)
- 2017年度: 線形代数学I, 数理情報学序論1, 数理情報学6 (数理論理学), 数理情報学基礎論概論2 (再帰理論), 計算可能性理論特論1,2
名古屋ロジックセミナー
公理的集合論グループ（松原研・吉信研）との共同セミナーを実施しています．
⇒ 名古屋ロジックセミナー
木原研セミナー
本研究室の過去のセミナーで用いたテキストは以下になります．
- Yiannis Moschovakis, Descriptive set theory, American Mathematical Society, 2009. [Free PDF]
- Jean-Yves Girard, Proofs and Types [Free PDF]
- 横内寛文, プログラム意味論, 共立出版, 1994. [Amazon]
- Ronald Brown, Topology and Groupoids, Booksurge Publishing, 2005. [Free PDF]
過去の卒業論文
本研究室の学生は，過去に以下のようなテーマで卒業論文を書いています．
- 連鎖性プログラミングの理論的基礎とその実践