「算譜：program」「算帖：file」「撒布表：hash table」「棚：stack」など、計算機科学の日本語の用語の普及推進している。未踏ユースPMなど。早大教授。
先週末の三連休、第56回情報科学若手の会に、若手特別講演の枠でありがたくも呼んでいただけたので、参加して発表してきました！ 発表で使用したスライドはこちらにおいておきます： ちなみに開催期間中に人々と雑談をしていたら知ってびっくりしたのですが、なんとこの会は1968年7月から続く由緒正しきイベントで、インターネットの父として知られる村井純先生が1955年生まれであることを考えると、驚くほど歴史が長いです。 過去の開催報告も、1996年以降の分については公式ページに存在しており、参加者の名前を見ると、私が大学生の頃に退職された筧捷彦先生が幹事として参加されていたりと、なかなか衝撃的に歴史の長いイ…
はじめに 目次 はじめに 目次 前回までのおさらい 記事の注意点 ダイクストラ・メッセージの構造化原理 ダイクストラが提唱したダイクストラ・メッセージ ダイクストラ・メッセージの構造化原理 手続き型プログラミングから構造化プログラミングへ 数え上げ(enumeration)の推論と連接と選択 不変性の証明に関する例題 ダイクストラの証明 注意点 数学的帰納法と繰り返し 例題 ダイクストラの証明 「連接」と「選択」と「繰り返し」の抽象化 連接と選択と繰り返しの正しさについて 手続き型プログラミングの問題点 手続き型プログラミング クラスプログラミング クラスプログラミングの抽象化 ダイクストラ連…
cybozushiki.cybozu.co.jp
www.wakuwaku-catch.net
www.amazon.co.jp
www.asahi.com