[
ホーム
|
講義
]
2004年度前期・計算機数学集中講義
プログラミング言語と計算可能性
第1回 6月9日 チューリング機会
講義メモ
第2回 6月16日 万能チューリング機会
講義メモ
第3回 6月23日 判定が不可能な問題
講義メモ
第4回 6月30日 休講
第5回 7月7日 帰納的関数
講義メモ
最終更新2005.06.23