2007-09-15
プログラムは計算機を前提に書かれるのだから、計算機の構造と動作を理解していることは重要であることは間違いない。プログラムは仕様を満すために書かれるのだから、仕様の形式的記述と検証について理解していることは重要(かもしれない)。 (用語、概念をいいかげんに使っているので絶対に真にうけないこと!!) (マシン語を知らない子ども達 - UEI shi3zの日記とこれに対する反響を読んで書いたものです) あまりにも当たり前過ぎて21世紀に入ってから言葉にしたことはあまりないのですが，当然のことながら，プログラムというのは，Curry-Howardの対応を理解して、初めて「書ける」と言うものです．プログラムが書ける，という状態は「Curry-Howardの対応を理解している」という状態の延長線上にあるべきで，Curry-Howardの対応を理解していないということは，プログラムの仕様を理解していない
異分野の成果があなたの分野の発展に役立った事例はありますか？ - 発声練習
事業番号13：競争的資金（若手研究育成）についての仕分け人の疑問や行政刷新会議事業仕分け対象事業に対してのパブリックコメントを書こう！、参加記（２）：明日から始める情報発信に関連して。 日本国民の大半が「科学、スポーツ、芸術などは余裕があるときに行うことであり、不況で余裕がない現在はこれらをやる必要がない」と考えていると仮定したとき、「科学研究は科学技術立国のために必要不可欠だ」という主張は、何かしらの共感や理屈付けが伴っていない限りまったく届かない主張になってしまう。 子ども手当てや高校の授業料無償化は、明らかに科学研究やスポーツ・芸術振興と同じような投資なのだけれども、「未来を担う子ども達に選択の可能性を増やそう」という多くの人が納得する（全ての人ではないところに注意！）物語を持っているため、支持率が高い。 これを真似て、基礎研究や応用研究の必要性をアピールするためには、今まで無駄と思
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
基礎文法最速マスターランキング
