数学初心者のための「型システム入門」入門 - 廻る技術の覗き穴
社内で「TaPLで殴りあう会*1」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど読み進めることができませんでした。 型システム入門 −プログラミング言語と型の理論− 作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男出版社/メーカー: オーム社発売日: 2013/03/26メディア: 単行本（ソフトカバー） クリック: 68回この商品を含むブログ (7件) を見る しかし、読めないままにしておくのは悔しいし、内容はとても面白そうなので、やはりちゃんと読めるようになりたい。 そこで基礎的な書籍とWebで情報収集してから再度挑戦したところ、なんとか読み進められるようになりました。 監
解析概論 - Wikisource
削除提案中 現在、この項目の一部の版または全体について、削除の手続きに従って、削除が提案されています。 削除についての議論は削除依頼の該当のセクションで行われています（このページのノートも参照して下さい）。削除の議論中はこのお知らせを除去しないで下さい。 この項目の執筆者の方々へ： まだ削除は行われていません。削除に対する議論に参加し、削除の方針に該当するかをどうか検討して下さい。 著作権侵害のおそれこの項目は著作権侵害が指摘され、現在審議中です。 審議の結果、該当する投稿以降の版全てもしくはこの項目自体が履歴も含めて削除される可能性があります。編集は極力控えてください。著作権上問題のない自分の投稿内容が削除される可能性のある方は、早めに控えを取っておいてください。 該当する投稿をされた方へ： ウィキソースでは、著作権上問題のない投稿のみを受け付けることになっています。他人の著作物を使うと
数学屋のメガネ:実無限と可能無限 - livedoor Blog（ブログ）
野矢茂樹さんの『無限論の教室』（講談社現代新書）では、実無限と可能無限が中心的な話題となっている。野矢さんの分身のようなタジマ先生は、実無限に懐疑的で、無限の概念としては可能無限だけを認めるべきだと主張している。 実無限というのは、無限の対象の全体性を把握して、無限が実際に存在しているとする立場だ。可能無限というのは、無限を把握出来るのは、限りがないということを確認する操作が存在していることだけで、無限全体というのは認識出来ないとする立場だ。 実無限を認めないという立場は、それなりに納得出来るものだ。無限という言葉で呼んではいても、その細部にわたってそれが分かっていないとき、それを果たして「無限」という言葉で呼んでいいものかどうかに疑問を持つというのは正当な疑問のように思える。よく分かっていないものに対して「無限」という判断をするのは、単に名前を付けているだけのような気もする。 「実無限」
Passion For The Future: 四色問題
四色問題 スポンサード リンク ・四色問題 四色問題 「四色あれば、どんな地図でも隣り合う国々が違う色になるように、塗り分けられることができるのか。」 証明がなくても経験的に、どんな地図でも四色で塗り分けられることはわかっていた。しかし、いざ証明しようとすると、「どんな地図でも」が問題になる。地図のパターンは無限に見えるからだ。証明に至るには150年の歳月がかかった。膨大な計算が必要であり、現代のコンピュータの力を借りる必要があった。 最終証明は100ページの概要と100ページの詳説、700ページの予備的成果、印刷すると高さ1.2メートルに及ぶ1万点の図。その計算をするためのコンピュータの稼働時間は1000時間に及んだ。 四色問題を解くには、塗り分けに五色以上を必要とする地図を仮定し（ないのだが）、そこに描かれている国の数が最も小さいケース＝最小反例が存在できないことを証明しなければならな
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
