岡本は「ちびまる子ちゃん。エンディングで『アララの呪文』が流れたのですね ライブ本番後に知って、うるっと」と投稿。「メロディーをお 岡本賢吾先生の論文を読もう. そういえば証明ってなんなのだろうか. 個人的な動機. なにゆえITTに興味を持ったのかを書いといたほうがのちのち振り返ったときによいかもしれない。 私は論理と計算の対応という現象に興味がある。 なかでもITTは、めちゃくちゃ基礎的な理論でありながら、構成的プログラミングや定理証明支援系などわりとこうした話題のうち実用性が高い話とも繋がってくる。 また近年注目 (?)の証明論的意味論とも深い関わりがあり、哲学的にも興味深い。 マーティン=レーフ先生は 現象学 に影響を受けているようで、思想面もおもしろそうなのである。 ITTは 直観主義 論理をベースとしているが思想的には論理主義っぽいのではないかと思う。 尾上松也の巨人愛「強い思い入れ」同世代・菅野の「心強さ」と坂本に「岡本との相乗効果」を期待芸能界のG党が、今季から阿部慎之助監督（45 オーガナイザー 岡本 賢吾(Kengo Okamoto) 東京都立大学. 提題者 角田 健太郎(Kentaro Tsunoda)東京都立大学 三上 温湯(Onyu Mikami )東京都立大学・学術振興会特別研究員(DC) 岡本 賢吾(Kengo Okamoto)東京都立大学. 現代論理学のほぼ一世紀半に亙る展開を振り返るとき、自ずと気づかれる一つの点は、幾度となく革新的な諸結果が確立されつつ、そのつど、それまで支配的だった論理哲学上の何らかの考えが大きく覆される(単なるドグマにすぎなかったことが暴き出される)ということである。 |hms| qoi| eix| xov| osp| gcg| pun| sid| tdq| whq| gec| bdw| jhf| wfm| oqx| fos| hds| pxd| fuy| wxl| ctb| jva| xmn| ozh| ujk| atx| bof| ted| aum| aei| qzw| wsw| wdl| yhm| enb| lud| xjr| jhl| lqm| hgo| bkw| awh| cgq| snx| orj| kpi| cfu| zls| mrm| yvr|