【まちがいさがし】文科省「プログラミング教育に関する調査研究」が爆笑必須（→現在非公開）
リンク srad.jp 文部科学省の考えるコンピュータの歴史 | yasuokaの日記 | スラド 文部科学省が公表した「諸外国におけるプログラミング教育に関する調査研究」(大日本印刷、平成27年3月)が、あまりにブッ飛んでいて爆笑した。特に「はじめに」の第一文。1942年、今日の電子計算機の原型の一つが、ペンシルバニア大学ムーアースクールのJ.P.エッカート、J.W.モークリーによって論文としてACM(Association ... リンク developers.srad.jp 文部科学省が「諸外国におけるプログラミング教育に関する調査研究」報告書を非公開に | スラド デベロッパー yasuoka 曰く、文部科学省生涯学習政策局情報教育課は「諸外国におけるプログラミング教育に関する調査研究」報告書を6月10日にWebサイトで公開したが、12日から非公開になっている。同報告書は「はじめに
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよなあ。type erasure ならぬ proof erasure が出来ればよいのだが 2014-02-23 17:10:29 スマートコン @mr_konn 帰納法は O(n) 書かるし、二重帰納法なら O(n^2) だ。一回示せたら unsafeCoerce すりゃいいかもしれないけど、そういうのを自動的にやってくれるのを欲しい 2014-02-23 17:12:45
t, nil, '(), #t, #f
ばばろあ @valvallow (car '()) ; -> nil ってほんと良いよな。(define (hoge proc lis)(if (null? lis)lis(proc lis))) みたいのないかな。
concurrentとparallelの違い説明会
いくつか例を挙げながらよく話題になるconcurrent(並行)とparallel(並列)の違いをn_sodaさんと話し合いました。 concurrentとparallelの違いが掘り下げられて改めて勉強になりました。
動的型言語のモラトリアム
Hideyuki Tanaka @tanakh 動的型のプログラミング言語がなぜ日本では軽量とみなされるようになったのか。これが一つの謎である。動的型はすなわちバグの発生を遅延しているに過ぎないのであるが、それを軽量というのであれば世の中のプログラムというものは正確さを必ずしも要求されないということだろうか。 極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda 正確さだけが絶対なら有限精度の数値型を使うべきではないですね。 RT @tanakh それを軽量というのであれば世の中のプログラムというものは正確さを必ずしも要求されないということだろうか。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
自作言語Kuin 言語仕様(暫定)の反響まとめ
中村さん伝説
