月別: 2014年10月

数学セミナー2014年11月号

特集◎コンピュータと論理学

20世紀初頭に誕生した計算機科学は論理学と互いに影響しあいながら発展してきた.
今回は特にプログラミング言語理論を中心に,計算機科学の黎明期に論理学がどのような役割を果たしたのか,またどのような研究が進んでいるのかを垣間見る.

コンピュータと論理が出会ったころ◎杉本 舞

プログラミング言語理論入門◎萩野達也

無限ゲームとオートマトン◎田中一之

暗ホーア論理・ダイナミック論理◎鹿島 亮

証明は計算できる/項書き換えシステムと定理証明◎外山芳人

京都大学ガロア祭/問題と解説◎尾高悠志+岸本大祐+川口 周

第55回 国際数学オリンピック・南アフリカ大会/問題と解説◎藤田岳彦

NOTE/講評と解説◎ZZZ