気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
nobsun.hatenablog.comエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント4件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
2007-09-15
プログラムは計算機を前提に書かれるのだから、計算機の構造と動作を理解していることは重要であること... プログラムは計算機を前提に書かれるのだから、計算機の構造と動作を理解していることは重要であることは間違いない。プログラムは仕様を満すために書かれるのだから、仕様の形式的記述と検証について理解していることは重要(かもしれない)。 (用語、概念をいいかげんに使っているので絶対に真にうけないこと!!) (マシン語を知らない子ども達 - UEI shi3zの日記とこれに対する反響を読んで書いたものです) あまりにも当たり前過ぎて21世紀に入ってから言葉にしたことはあまりないのですが，当然のことながら，プログラムというのは，Curry-Howardの対応を理解して、初めて「書ける」と言うものです．プログラムが書ける，という状態は「Curry-Howardの対応を理解している」という状態の延長線上にあるべきで，Curry-Howardの対応を理解していないということは，プログラムの仕様を理解していない
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
nobsun.hatenablog.com
nobsun.hatenablog.com
nobsun.hatenablog.com
nobsun.hatenablog.com
www.jiji.com
anond.hatelabo.jp
www.hageatama.org
mainichi.jp
anond.hatelabo.jp
qiita.com/YUUUUUUUUUNA
ca-srg.dev
www.itmedia.co.jp
qiita.com/YutaroOgawa2
gigazine.net
b.hatena.ne.jp/site
kawazu-sakura.com
note.com/tanizakihikari
2011/06/18 リンク