最上の日々 - 数学を表現するのに最適な媒体はコンピュータである
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 （これだけ書くのも大変だろうなあ。いつもお世話になってます。） 証明チェッカのあちら側とこちら側 私的にみたハイライトはこの辺りかな： 論理に関する部分はうまくいかなそうな気が(直観的には)します。言語や論理について一般の人が抱いている直観は誤っているか、すくなくとも混乱していることが多く、そのまま形式化しようとするとうまくいかないからです。例えば、名詞は何か対象を名指している、といった考えがその例になるでしょう。この場合、何の対象も指さない時や、複数の対象に当てはまるときにどうするか、といった問題が考えられてないのですが、にもかかわらず強固な直観としてなかなかここから自由になれないようにに思います。 言い方を変えると、自然言語に近いもの純粋に形式的に取り扱おうとすると
Perlドキュメント日本語訳(peldocjp)
Perlドキュメント日本語訳(perldocjp) Perlのドキュメントは英語で書かれています。 日本人にとって、これが障害になっていることは間違いないでしょう。 これらドキュメントの翻訳は、これまでにも 何人かの方が取り組み、その成果が公開されています。公開されていないケースも考えれば さらに多くの人が取り組んで来たはずです。 しかし、その成果はそれぞれ個別に管理され、 置いてあるサイトも書式もバラバラといった 状態で、効率的とはいえない状態です。 本MLでは、こうした現状を踏まえ、Perlドキュメントの翻訳と公開のより望ましい形を目指して、情報／意見の交換を進めていこうと 思っています。FreeMLでのページ： http://www.freeml.com/info/perldocjp@freeml.com メッセージ ： http://www.freeml.co
軍用イルカとは何か ?
ジャンプしているバンドウイルカ。イラク戦争中のアラビア湾のUSS Gunston Hall (LSD 44)近くで訓練中。フィンに装着しているのは音響追尾装置。 アメリカ海軍は1950年頃からイルカやアシカの能力を高くかっていていろいろ研究を進めるとともに飼育技術を高めてきました。そして今ではイルカやアシカも海兵隊の一員のように“大切な仲間”として扱っています。 一般には、賢いイルカを戦争に引き込むのはけしからん、「イルカの日」のように爆弾を背負って船に向かうのではないかとの意見もあります。しかし、「海の地雷」である機雷は、だれかれ区別無く近寄る船舶を破壊し、多くの人々を苦しめています。この恐ろしい機雷を効率よく見つけて掃海する方法は現在イルカ以外に考えられないと言い切る米国海軍の意見も私は理解できます。 ２．これまでの展開 今、アメリカ海軍は、バンドウイルカ(Tursiops tru
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
最上の日々 - 昨日のアラン・ケイに触発されて二題。
