DL Program

  • 照井一成  「計算と論理」、飯田隆編、『知の教科書 論理の哲学』、選書メチエ 341、講談社、2005年
  • 峯島宏次  「自然言語と論理」、飯田隆編、『知の教科書 論理の哲学』、選書メチエ 341、講談社、2005年

先日これらの文を拝読。面白かったです。また岡本先生の話などから、「プログラム=証明=命題内容」という図式に興味を抱く。それでプログラミングに関心を持ち、C言語をかじりたくなる。なので

をdownload & installする。
明日C言語の入門書を買ってこようかな。
プログラムって、自分はまだ全然知らないんですよね。未知の世界。また何か新しいことが学べそうでうれしいです。