理詰めなはずの数学でも「信じる」「信じない」によって答えが変わってしまう（本がすき。） - Yahoo!ニュース
『数学の想像力 正しさの深層に何があるのか』筑摩書房 加藤文元／著 本書の大きな問いは、「数学における＜正しさ＞とは何か？」というものだ。この問いの意味が分からないという人もいるだろう。しかし、その点に触れるのは後回しにすることとして、まず、数学における「証明」について書いていこう。 本書によれば、数学における「証明」というのは、古代ギリシャで生まれた。そして、ここが重要なポイントなのだが、古代ギリシャで“しか”生まれなかった。数学というのは、中国・インド・アラビア・日本など様々な地域で、様々な時代に発展したが、そのほとんどが「いかに計算するか」を追い求めた。ただ唯一古代ギリシャのみが、「証明」という手法を生み出したのだ。 では、何故古代ギリシャだけが「証明」という手法を生み出し得たのか。そこには、「無理数」と「無限」に対する“恐怖”があった。 「無理数」については有名な話だから、知ってい
『マンガでわかる！関数型プログラミング』という漫画を連載することになるようです - Line 1: Error: Invalid Blog('by Esehara' )
近況 ふとした瞬間に虚しくなることがある いきさつ 今年、秀和システムから関数型プログラミングに関する本が出て、良くも悪くも、その本が注目を集めることになってしまいました。そんな中で色々な人が反応していましたし、自分もこのようなかたちで感想を書きました。 一方で、このような本を書かれるくらいであるならば、自分で真っ当な本を書けばいいわけだし、技術書を書くことなんて、そんな敷居の高いことではないというカウンターもあり、個人的にはそれも最もだなあ、という印象がありました。その中で自分なりに関数型プログラミングについて理解したことを元にQiitaに駄文をアップしたりしていました。間違ってたら、誰かが訂正してくれるだろうし、そのほうが自分にとって勉強になるだろう、と思うので。 ですが、「関数型プログラミング」というのは「なんだか難しい」という印象を覚えるのも事実のようです。実際に、最新の『Soft
好きこそ本になる！ はてなブロガー単著祭り2014GW メレ山メレ子さん、醤油手帖さん、てれびのスキマさん、Hagexさんの新刊をプレゼントします - 週刊はてなブログ
※キャンペーンは終了しました。たくさんのご応募、ありがとうございました。 ゴールデンウィークはみなさんどのように過ごされているでしょう？ まとまった時間がせっかく取れることだし、とことん好きなことに没頭したい！ という方も多いかもしれません。好きなことを時間を惜しまずに突き詰めると、やがて立派な実を結ぶこともあるでしょう。それを体現しているかのような4人のブロガーさんの著作が、この春立て続けに刊行されました。 週刊はてなブログではゴールデンウィーク特別企画として、それぞれの著作を紹介するとともに、計11名様に著書が当たるプレゼントを実施します。ぜひお好きな本をリクエストしてください。詳細は記事末の応募要項を参照。 あなたの「虫スイッチ」も押される？ メレ山メレ子『ときめき昆虫学』 ブログ「メレンゲが腐るほど恋したい」のメレ子 (id:mereco) さんが、2冊目の単著『ときめき昆虫学』を
PHPとセキュリティの解説書12種類を読んでSQLエスケープの解説状況を調べてみた
この投稿はPHP Advent Calendar 2013の13日目の記事です。昨日は@tanakahisateruのPHPが糞言語なのはどう考えても参照をポインタだと思っているお前らが悪いでした。 現在twitterのタイムラインで、史上空前のSQLのエスケープブームが起こっています。 オレオレSQLセキュリティ教育は論理的に破綻している | yohgaki's blog 「プリペアードクエリが基本だけど、動的に SQL を組み立てる場合もあるから、そういう場合に備えてエスケープも知っておいたほうがいいかも」 - Togetterまとめ エスケープとプレースホルダをめぐる議論 - Togetterまとめ SQLインジェクション対策としてのプリペアドステートメントとエスケープについての議論 - Togetterまとめ IPAの「安全なSQLの呼び出し方」が安全になっていた | yohgak
Perl テスティングハンドブックという電子書籍をだしてみた - tokuhirom's blog
主に KDP をためしてみたいという理由ですが、だしてみました。 Perl で Test を書くときのポイントを押さえてちいさくまとめています。ボリューム的にはちょっとした小冊子程度です。本当に自分で実践につかったことがあるものしかのせてないのがひとつの特徴です。 今回は pandoc でつくってみました。 gumroad からも買えるようにしてみました なお目次は以下のとおり - 前書き - 対象読者 - なにはのっていないか - 想定環境 - カイゼン - Test::More をもちいた基本的なテスト - 便利なユーティリティ関数 - is 関数 - cmp\_ok 関数 - is\_deeply($a, $b[, $msg]); - like($got, $regexp[, $msg]); - subtest 関数でテストケースをネストさせる - Test::More をたすけるラ
文明と戦争 : 池田信夫 blog
2012年08月19日10:42 カテゴリ本 文明と戦争 韓国の主張する「歴史問題」のほとんどはでっち上げだが、アメリカ議会やEU議会まで慰安婦決議をしている。このように国際的な情報戦で日本が韓国に負け続けてきた一つの原因は、その平和主義にある。日本人は平和を最優先するのが当たり前だと思っているかもしれないが、英語でpacifismというのは、自国が侵略されても抵抗しない敗北主義のことである。 人間はもともと平和に暮らしていたが、文明によって戦争を起こすようになり、科学が発達して大量殺戮が行なわれるようになった。原子力は人間がテクノロジーを制御できなくなった時代の象徴だ――という通俗的な話は当節流行の原発文明論でよく語られるが、それは逆である。 旧石器時代の人類は平均15％ぐらい殺されていたが、その原因は人間が類人猿より凶暴だったためではなく、道具を使うようになったためだ。石器によって相手
反市場ポピュリズムから市場志向の倫理へ : 池田信夫 blog
2012年07月20日16:15 カテゴリ本 反市場ポピュリズムから市場志向の倫理へ 日本では脱原発デモが盛んだが、アメリカではウォール街を占拠するデモが続いていた。彼らの標的とするのが「官民癒着」であるのも似ているが、著者はこういう反市場ポピュリズムは問題を解決しないという。 国会事故調の報告書はregulatory captureが「メイド・イン・ジャパン」だと書いているが、本書を読めばわかるように、規制当局と業者のムラ的な構造は世界共通だ。その本場は著者の母国イタリアだが、これに対して左翼ポピュリストが「差別反対」などと称して反対運動を行なった。このためイタリアの大学入試は学力試験がほとんどなくなったが、その代わりコネ入学になった。絶望した著者は、母国を去ってアメリカに留学する。 そこで彼の見たのは、人間関係や金の力ではなく実力でトップになれる国だった。著者はMITで博士号を取り、資
残り物には勝因がある - 新旧対決 - 数学入門/いかにして問題をとくか : 404 Blog Not Found
2012年07月05日22:00 カテゴリ書評/画評/品評Math 残り物には勝因がある - 新旧対決 - 数学入門/いかにして問題をとくか いかにして問題をとくか 実践活用編 芳沢光雄 数学入門 小島寛之 双方とも出版社より献本御礼。 どちらも古典中の古典に対する「挑戦」なのであるが、私の判定は、双方とも「防衛者の勝ち」。 しかしその理由が正反対なのが興味深かったので、あわせて紹介することにする。 「数学入門」も「いかにして問題をとくか 実践活用編」も、書名自体「旧書」と同じことからもわかるとおり、旧書を読んで育まれた著者たちが、旧書に対する最大限の尊敬を込めて著した「挑戦書」である。小島にせよ芳沢にせよ、現代日本の一般向け数学書の書き手としては第一人者で、本blogでも両者の手による本は事実上の常連である。それだけに私の期待も高く、両者ともその期待に見事にこたえてくれた。原著の著者たち
2012年上半期ブログ内ベストセラー２０
よく学ぶための７冊／学習技術のシルバーリングス 読書猿Classic: between / beyond readers から４冊エントリー。 『図書館に訊け! 』と『本を読む本』は他にも何度か登場している。元ネタになったり前提になっている記事は他にもあるほどの常連（繰り返しプッシュしてきた甲斐があった）。 『本を読む本』は能動的読者に、『図書館に訊け! 』は能動的図書館ユーザーになるためのMUSTアイテム。 今「よく読むためのｎ冊」というのを書いているけれど（書き上がるのはだいぶ先だと思う）、〈もう少し先のこと〉を書く予定なので、この２冊は出てこない。 あと「図書館に訊け」というタイトルで思うだしたのは、実はこの写真。 （クリックで拡大） このブログで時々「図書館となら、できること」というお話を書いている。書きながらいつも思っていることだけど、レファレンスワークとかレファレンスサービスと
僕がソフトウェア開発を勉強し始めて3年間でやったこと - うさぎ組
昨日、@irofさんと飲みながら自分を思い返すと「ちゃんとソフトウェア開発を勉強しはじめてから3年間たった」つまり「@bleisさんを知ってからこの5月でまる3年間たった」 それまでの僕はデザインパターンもオブジェクト指向がなんたるかも、バージョン管理もなにも知らなかった。 毎日言われたことをこなす仕事をして、変えたいけど誰も教えてくれないし、学び方すら教えてくれなかった。 それなりに努力してたけど、よくはわかっていなかった。 そんな状態から抜け出したのが3年前。このブログの先頭でも書いた。当時僕は21歳かな。（ちなみに就職したのは19歳のとき） →【このブログをはじめるきっかけ - うさぎ組】 この3年間でやったことをふりかえってみようと思いました。 ちょっとわかりにくいだろうけど、2009年5月からの12ヶ月周期で書いてみます。 こうやって振り返るのはあくまで僕のためであって、何かを誇
人類最大の課題 - 書評 - 探求 : 404 Blog Not Found
2012年04月06日16:15 カテゴリ書評/画評/品評SciTech 人類最大の課題 - 書評 - 探求 探求(上下巻) Daniel Yergin / 伏見威蕃訳 [原著:The Quest] 出版社より献本御礼。 循環器の理解なくして人体の理解がありえないように、エネルギーの理解なくして人類の理解はありえない。そして循環器系統の疾患の克服が医療にとっての最大の課題の一つであるように、エネルギー問題の克服が人類にとって最大の課題の一つ--個人的には「一つ」は不要だと考えている--であることは間違いない。 この話題を包括的に扱うにあたって、「石油の世紀」の著者以上の適任者がいるだろうか? 本書「探求」の副題は、原題"The Quest: Energy, Security, and the Remaking of the Modern World"にあるように、「(新)エネルギー、安全保
エクストリーム・プログラミング入門を読み直す - プログラマの思索
今頃になって、XPエクストリーム・プログラミング入門(白本)を読み直してみた。 考えたことをラフなメモ書き。 【元ネタ】 Hot Heart, Cool Mind.: エクストリームプログラミング(XP) 邦訳(XP エクストリームプログラミング入門)へのコメント パターン、Wiki、XPは良書: プログラマの思索 【1】XPエクストリーム・プログラミング入門は第2版になって、原理・原則・プラクティスが覚えきれないほど大幅に増加している。 だから、以前の僕は第1版にあるプラクティスの方が分かりやすくて好きだった。 しかし、今になって見直すと、現在までのアジャイル開発の流れを予測しているかのような概念が出てくることに驚かされる。 応用プラクティスにある各プラクティスを考えてみる。 「インクリメンタル配置」は小規模リリースと同じ。インクリメンタルな開発、つまりイテレーション単位の機能改善による
パターン、Wiki、XPは良書 - プログラマの思索
「パターン、Wiki、XP」を読んだ。「ThoughtWorksアンソロジー」のようにエッセー風だが、本質的なことがたくさん書かれているような気がした。 感想をラフなメモ書き。 【元ネタ】 パターン、Wiki、XP - 第1部：建築 - Li:d tech パターン、Wiki、XP - 第2部：ソフトウェア開発 - Li:d tech パターン、Wiki、XP - 第3部：Wiki - Li:d tech Smile Experience: パターンランゲージの会 404 Blog Not Found:時を超える創造の原則 - 書評 - パターン、Wiki、XP 書評リンク集 - 『パターン、Wiki、XP』サポートWiki 『パターン、Wiki、XP - 時を超えた創造の原則』感想、少しばかりの余談 - antipop 『パターン、Wiki、XP』と「協働＝お互い様」のマーケティング |
ゲーデル記念日 - hiroyukikojima’s blog
「完全にわかった」とぼくの頭が言ったから七月三日はゲーデル記念日。 あえて、というか、恥ずかしいから、何のパロディかはいわない。とにかく、今日はすごく嬉しい日になった。ゲーデルの不完全性定理の証明が、第1不完全性も第2不完全性も、どちらもかなり完全に近くわかってしまったからだ。こんなことをいうと、「お前はゲーデルの不完全性定理について、著作の中に書いてるくせに、ほんとはわかってなかったのかい」とツッコマレそうだけど、いや、おっしゃる通りなのだ。でも詐欺だとか思わないでほしい。 数学の理解には、何段階かあると思う。 「数学マニアと会話できる程度の理解」＜「啓蒙書にうんちくとして書ける程度の理解」＜「講義できる程度の理解」＜「論文を書ける程度の理解」 みたいな感じなんじゃないかな。ぼくのこれまでの理解といえば、下から二番目程度だった。もちろん、だから啓蒙書に書いたりしたわけだ。(たとえば、拙著
「おもしろい書評」を書くために必要な7つの知識
書評は当ブログのメインのコンテンツとなっています。毎日ブログを更新する（平日のみ）と決めている私にとって、書評は計算できるコンテンツです。一冊読めれば、確実に一記事を更新できるからです。 書評にはコツがあります。私が書く書評が面白いかの判断は皆さんに任せるとして、もし当ブログのような書評を書きたい方は、これからご紹介するポイントを抑えておけば、誰でも書評が書けるはずです。 Tagged! / laszlo-photo 1.「自分が主役」を強く意識する 本のあらすじを順番に書いて、その都度「私もそう思いました」「共感しました」のような平凡なコメントを付けていく書評が多いです。このパターンの書評は「本」の内容が主役になってしまい、凡庸な文章になりがちです。絶対にこういう書評は書かないことです。 個性というのは、ある種の「無理」や「歪み」だと思います。無理や歪みが一切ない整然たるものというのは、
景気の波より人口の波 - 書評 - デフレの正体 : 404 Blog Not Found
2010年06月05日18:00 カテゴリ書評/画評/品評Value 2.0 景気の波より人口の波 - 書評 - デフレの正体 角川書店岸山様より献本御礼。 デフレの正体 - 経済は「人口の波」で動く 藻谷浩介 さらにブロガー向けセミナーにもご招待いただいたので、参加させていただいた。 弾言する。著者ほど日本の現状をしっかり把握している人はいないと。数多の経済学者たちがスルーしてきた日本の本当の実情が本書にはある。 我が意を得たりとは、このことだ。 本書「デフレの正体 経済は「人口の波」で動く」は、平成合併前の約3200市町村の99.9%、海外59ヶ国を概ね私費で訪問して来た著者による、「日本の傾向と対策」。 目次 第1講 思い込みの殻にヒビを入れよう 景気判断を健康診断と比べてみると／ある町の駅前に表れた日本のいま 第2講 国際経済競争の勝者・日本 世界同時不況なのに減らない日本人の金融
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
BLOGOS サービス終了のお知らせ
オタクの電脳ブログ
ヒルベルトと「可解性」のこと／山口昌哉、林晋とあわせて | TETRA'S MATH
オタクの電脳ブログ