Some C are NOT B なお、チューリングは「ソクラテスの名前が出てきたときには Barbara」と言っているが、たぶん、これは、以下のような三段論法の実例を想定していると思われる(誰もがどこかで一度は見たことがあるやつだと思うのだけど)… すべての人間は死ぬべき運命にある ソクラテスは人間である それゆえソクラテスは死ぬべき運命にある 「ソクラテス」を「すべてのソクラテス」に置き換えれば、この三段論法が Barbara であることが明解になる。 寄り道が長くなったが、本題に戻ろう。チューリングは、推論の仕方を指示すること(プログラムであればアルゴリズムの選択にあたるだろう)の重要性を述べている。そして、論理的に思考している場合でも brilliant と footling の差が生じるのは、数多くの選択肢の中から何を選ぶかの違いだという。このへんは、数学とか論理学での才能の差は
auzentech.jp 2018 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois). Privacy Policy
vimrcをいじり始めると納得するまでいじってしまい仕事が手に使ない皆さん、こんにちわ。 このところ、vimrcに新たな設定を幾つか追加したのでまとめてみます。どれも、もっと早く知りたかった!と思うものばかりでした。 (),[],{},<>,””,’’,“入力+()の中にカーソル戻す HTMLでもPHPでもRubyでも、()を入力する場合には”()+←+中身を入力”という風に、いつも”←”をタイプしていました。面倒だな!といつも思ってたところ、先日偶然晒されているvimrcの中から以下の設定を発見しました。(どこで見つけたかは忘れました。) imap {} {}<Left> imap [] []<Left> imap () ()<Left> imap “” “”<Left> imap ” ”<Left> imap <> <><Left> imap “ “<Left> “()”を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く