林晋さんのこと、根拠なきイチャモンのこと - 檜山正幸のキマイラ飼育記 (はてなBlog)
先週のことでタイミングが遅れていますが、 http://d.hatena.ne.jp/JavaBlack/20151103/p1 相変わらず、何の根拠も示さずに知ったふうな事をのたまう。無根拠・非論理の芸風は死ぬまで治らない（治さない）のでしょう。 林晋さん*1へのたちの悪い言及を目にしてしまったので、一言いわずにはおれない気分です。 まず、林晋さんの著書について述べます。林さんの本は3冊持っていて、目次と索引しか見ない僕*2にしてはよく参照してます。 コロナ社の『数理論理学』*3は手が届く場所に置いてあります。 数理論理学 (コンピュータ数学シリーズ) 作者:晋, 林発売日: 1989/12/20メディア: 単行本 カリー／ハワード対応について説明している論理の本は少ないので、非常に助かります。かつてラムダセミナー／モニャドセミナーでカリー／ハワード対応を題材にしたときのネタ本はこれです
アマゾンが間違いメール？ なんなんだ、これは!? - 檜山正幸のキマイラ飼育記 (はてなBlog)
なにがあったのかというと（少し前のことなので、「ありのまま 今 起こった事」ってセリフは適当じゃないです）、詐欺メールみたいなのが来たのですが、なんか本物のようなんです。本物だとすると、なんで僕（檜山）宛に届いたの？ 事情も対処も分かりません。 3月13日に次のメールが届きました。 Title: 店舗到着済：認証キーをお送りします(注文番号: XXX-XXXXXXX-XXXXXXX) From: Amazon.co.jp <delivery-notification@amazon.co.jp> 2015年3月13日 11:21 Amazon.co.jp <delivery-notification@amazon.co.jp>: Amazon.co.jpをご利用いただき、ありがとうございます。 ご注文商品がご指定のコンビニに到着いたしましたので、商品をお受け取りいただけます。 商品のお受け取
こんなとき、詩人も芸人も必要なんだと思う - 檜山正幸のキマイラ飼育記 (はてなBlog)
まったくひどい状況ですが； 昨日（日曜）書いた事と似たような話をもう一度します。 現状では、テレビ放送は情報を提供するための報道番組が圧倒的です。しかし、報道が「必要なことの全て」ではない、と思うのです。と言うと不謹慎に聞こえるでしょうが、報道を否定するものではなくて、必要な報道を圧迫しないことを前提としての話です。 子供向けアニメやヒーローものは子供たちに必要です。1回なら「ガマンしなさい」で済むでしょうが、できるかぎり早く平常に戻して欲しいです。ウチの子たちは子供番組を必要としない年齢になりました。ですが、あの津波の映像は怖すぎます。次男などは、やはり恐怖を感じて萎縮しているようです。今のウチの子たちはサッカー中継とお笑い番組を欲しています。 サッカー選手は多くの子供たちの夢です。お笑い芸人も、ウチの子たちにはヒーローでありあこがれの存在です。スポーツ選手や芸人さんたちは、彼・彼女たち
論理的であるかのごとくに装って、根拠のないイチャモンをつける 13+2 の方法 - 檜山正幸のキマイラ飼育記 (はてなBlog)
ちょっと挑発（コレの最後）してみたけど、どうせ反応はないだろな。しらけてしまわないうちに自分でテンション上げて解説を書いてみました。 内容： 前がき 本編 定義の違いを真偽の議論にすり替える 言ってもない事を否定して印象操作をする 傾向や量に関する主張に、勝手に全称限量子を付けてしまう とある階層でなされた主張を、別な階層で否定する 権威や前例に訴える 権威や前例に訴える 別バージョン 論点ズラシ、意図・論点の曲解 論点ズラシ、意図・論点の曲解 感情バージョン 意味もなく自分の経験や知識を強調 問題点を他の事情により帳消しにする 意味不明でもいいから難しそうなことを言ってみる 普通とは異なる解釈を持ち出す 反論されたときは最小コストでごまかす 余計なお世話な悪口も辞さない 言い張る 後がき 前がき すぐあとに続く「本編」では、ホントに「根拠のないイチャモンをつける方法」、もう少し正確に言う
ペラペラの表層、シッカリした内実 - 檜山正幸のキマイラ飼育記 (はてなBlog)
もう十数年も前のことです。ある人と何度か話す機会があって、僕は彼の知識と見識に感服しました。彼は技術職ではなかったのですが、ソフトウェアに関連する仕事をしていました。ソフトウェアやIT業界に対する評価、批判、賛辞、予測などを色々と述べるのですが、ほとんどが的確な意見に思えたのです。 しばらくして、彼は技術職に移って、僕と仕事で関わることになりました。すると、えーと、ありていに言えば、使いものにならない技術者でした。はなしっぷりは相変わらずですが、言ってる事とやってる事（つうか出来る事）が余りにも違うので、もうウンザリ。結局彼は、また非技術系の仕事に変わりましたけどね。 最初に何度か話したとき、口だけの彼を見抜けなかった僕が愚かでした。彼は日経ナントカとかそういうタグイの雑誌の非常に熱心な読者だったんですね。仕事で必要と考えて精読していたのか、趣味的に好きだったのかわかりませんが。それを話の
檜山正幸のキマイラ飼育記 - 世界で一番か二番くらいにやさしい「モナド入門」
気まぐれと偶然となりゆきで、ここ2,3回はモナドを話題にしました。googleで「モナド」を引いてザッと眺めると、「モナドはむずかしいー」とか「モナドで挫折した」みたいな雰囲気が感じられて、説明芸人の血が少し騒ぎましたね。「なら、予備知識ゼロでモナドの説明をしてやろうじゃねーか」と。 タイトルはだいぶ煽っちゃった…… けど、ハッタリじゃないつもり…… けど、実際はどうかな？ ※印刷のときはサイドバーが消えます。 内容： とりあえず、あたりさわりなくモナドの来歴を紹介する こんな課題を考えてみよう：副作用付き計算 カウントアップする関数達 カウントアップしたい意志を戻り値で伝える それでは、いったい誰がカウントアップをするのだ 関数の引数の型をCountup型にまで拡張する そして、これがモナドだ とりあえず、あたりさわりなくモナドの来歴を紹介する 今からここで説明する「モナド（monad）
「はてな」の使い勝手と「はてな」の文化 - 檜山正幸のキマイラ飼育記 (はてなBlog)
別にかき集めたわけじゃないのだけど、「はてな」が難しい／使いにくいってハナシが目に付いた。 はてなが（私にとって）難しい理由 http://d.hatena.ne.jp/Mayura/20060222/1140599324 はてなって難しい（汗） http://d.hatena.ne.jp/Mayura/20060209/1139485111 はてなのとっつきにくさ http://d.hatena.ne.jp/Hamachiya2/20060222/1140619893 はてな使いにくい！ http://d.hatena.ne.jp/yuiseki/20051112/1131764168 はてなを全然使いこなせないのにはてながどんどん進化している http://d.hatena.ne.jp/bonotake/20060221/1140534529 作っている人々／使っている人々の文化を考え
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
