プログラムを哲学する 1. 言及 - Ryusei’s Notes (a.k.a. M59のブログ)
これから書くのは、言葉や論理と、その意味に関する話だ。フレーゲらによる、物事を厳密に考える言葉の探求は、現代論理学や分析哲学の出発点になった。まずは、その哲学を探りながら、関数プログラミングの話でよく耳にする「参照透過性」という概念を理解することを最初の目標にしたい。 言及 Reference (Stanford Encyclopedia of Philosophy) 普通、記号には表す対象が存在している。記号と記号が表す対象との間にある関係を、言及（reference）という。*1たとえば、「東京タワー」や「港区にある電波塔」という言葉は建造物の《日本電波塔》への言及だし、「港区」や「東京タワーのある区」という言葉は場所の《東京都港区》への言及だ、などという。*2このような、記号の意味とは言及対象のことなのだという考えは、いろいろある意味の捉え方のうちのひとつだ。（直接言及論 Direc
【今週はこれを読め！ SF編】ロボットの教養小説、ＳＦを対象化するＳＦ（みたいな小説） - 牧眞司｜WEB本の雑誌
『ロデリック:(または若き機械の教育) (ストレンジ・フィクション)』 ジョン・スラデック,柳下 毅一郎 河出書房新社 5,780円(税込) 商品を購入する Amazon HonyaClub HMV&BOOKS honto ロデリックはミネトンカ大学のコンピュータ・サイエンス科で開発されたロボットだ。日本暮らしのぼくらは『鉄腕アトム』『鉄人28号』『ドラえもん』、あるいは「ボッコちゃん」などロボットの名前がそのまま題名になる作品になじんでいるけど、英米ではおそらくそれほど一般的ではない。アイザック・アシモフ＆ロバート・シルヴァーバーグの『アンドリューＮＤＲ１１４』も、原題はThe Bicentennial Man（二百周年を迎えた男）だ。アシモフの名作短篇「ロビー」は現在流布している版ではRobbieだが、初出時は"Strange Playfellow"（奇妙な遊び仲間）だった。 スラデッ
プログラマが知るべき97のこと
プログラマが知るべき97のこと大人気の書籍『プログラマが知るべき97のこと』のエッセイを無料で公開中！すべてのプログラマにおすすめの本がウェブで読めるようになりました。 エッセイ一覧分別のある行動関数型プログラミングを学ぶことの重要性ユーザが何をするかを観察する（あなたはユーザではない）コーディング規約を自動化する美はシンプルさに宿るリファクタリングの際に注意すべきこと共有は慎重にボーイスカウト・ルール他人よりまず自分を疑うツールの選択は慎重にドメインの言葉を使ったコードコードは設計であるコードレイアウトの重要性コードレビューコードの論理的検証コメントについてのコメントコードに書けないことのみをコメントにする学び続ける姿勢誰にとっての「利便性」かすばやくデプロイ、こまめにデプロイ技術的例外とビジネス例外を明確に区別する1万時間の訓練ドメイン特化言語変更を恐れない見られて恥ず
| タイトルを入力してください
ブログをはじめるたくさんの芸能人・有名人が 書いているAmebaブログを 無料で簡単にはじめることができます。
コンピュータを進化させてきた偉大なるアルゴリズムまとめ
By Kai Schreiber IT技術の進化のスピードには目を見張るものがありますが、それを支えているのはアルゴリズムと呼ばれる処理方法(技術的アイデア)です。さまざまなアルゴリズムの中でも、コンピュータの進化に革命的な影響をもたらしたとされる偉大なアルゴリズムは以下の通りです。 Great Algorithms that Revolutionized Computing http://en.docsity.com/news/interesting-facts/great-algorithms-revolutionized-computing/ ◆ハフマン符号(圧縮アルゴリズム) Huffman coding(ハフマン符号)は、1951年にデービッド・ハフマン氏によって開発されたアルゴリズム。頻出頻度の大小によって対戦するトーナメントツリーを考えて、ブロックごとに0と1の符号をもたせる
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
