バグのないプログラムと不完全なこの世界
最近、オライリーの「アンダースタンディングコンピュテーション」を読みました。コンピューターサイエンスの素養がない人にも分かりやすく計算について教えるという内容で、細々と写経しながら読み進めていました。 hirak/memo-understanding-computation ・ GitHub この本、8章と9章がとにかく面白くて、特にライスの定理は初めて知ったので、自分なりに理解をまとめておこうと思います。 ※形式的な証明は私もちゃんと理解していないので、直感的な解説になります。 不可能なプログラムは存在する 我々プログラマーは日々コードを書いているわけですが、プログラムで解けない問題は存在するか考えたことはあるでしょうか？ ライスの定理は不可能なプログラムがあることを示した定理です。 ライスの定理 - Wikipedia 計算機科学における計算可能関数の理論に関する定理で、 定められた性
IBMの新しいニューロチップ”TrueNorth”ざっと読んだまとめ | 電通大 山﨑研
[2015年8月27日追記] 梶谷様が入院されたそうで、講演はキャンセルとなりました。とても残念です。お話を伺えるなんらかの機会が欲しいです。 [2015年6月5日追記] 今年の日本神経回路学会全国大会(9月2日-4日 電気通信大学)では、特別講演に日本IBMの梶谷浩一様をお招きして、「Neuromorphic Computing in IBM」という演題でご講演いただきます。TrueNorthのお話が聞けます！講演は9月3日夕方です。 最近Scienceに出た論文 A million spiking-neuron integrated circuit with a scalable communication network and interface Paul A. Merolla et al. Science 345, 668 (2014); DOI: 10.1126/science
HSVカラーピッカー用の画像の生成 - プログラムdeタマゴ
今回の話で作ろうとしているのはこれ↓の真ん中の四角いところ。 （saiのキャプチャ） これをある原色（H=h,S=1,V=1)の色の上に一枚のグレースケールの画像を重ねて表現しようという、よくある一般的な話です。 てか、誰かこれ文章化しておいてくれても良いんじゃない？ 私が単純にググっても見つけられなかっただけの話かもしれないけど。（書いてあるサイトあったら教えてください。リンク張っておきます。） と言うわけで、文章化しておく。 結論 面倒くさい人（主にいつか読む私）の為に先に結論から述べておく。 作成する画像は以下の様な物。 左下が原点で、上方向正の縦軸V(明度)、右方向正の横軸S（彩度）である。 四角形の一辺の長さは1とする。 このとき、領域内の点(s,v)の不透明度a、および輝度cは a = 1 - s*v c = (1-s)*v/a である。ただし、a=0となる場合、cは何でも良い
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
遺伝的ネットワークプログラミングとそのソースコード（C言語）作成手順
SSSSLIDE
