思考実験「ヘンペルのカラス」が難解なのでパンツに置き換えて考える - 夜中に前へ
こんばんは。夜中たわしです。 本日は、「ヘンペルのカラス」というパラドックス（厳密には疑似パラドックス）について紹介します。 ヘンペルのカラス ヘンペルのカラスは、このようなものです。 まず「全てのカラスは黒い」ことを証明したいとします。 この際のアプローチとして、「全ての黒くないものはカラスでない」ことを証明すれば、「全てのカラスは黒い」ことを証明したことと全く同じというのが、ヘンペルのカラスの論法です。 そう、この方法を使えばカラスを1匹も調べることなく、カラスが黒いことを証明することが可能なのです！ この話をはじめて聞いたほとんどの方は、「？？？」となったのではないのでしょうか。私もです。 なぜわかりづらいのでしょう。 それはカラスが黒いかどうかなんて誰も興味ないからではないでしょうか。 なので、カラスをパンツに置き換えて考えてみます。 そうです。カラスが黒いことを証明する代わりに、
「数学者は変人ばかり」って本当？ 天才数学者・千葉逸人先生に聞いてきた | i:Engineer(アイエンジニア)
こんにちは。ヨッピーです。本日は 東京大学 に来ています。 僕みたいな低IQの屁こき豚がこんな所に来てしまったら、一歩入っただけで 知恵熱 出してぶっ倒れそうな気がしますが、取材のためなので仕方がありません。 さて、「i:Engineer」ではこれまで、 京都大学の先生 や 東工大の学生 など、いわゆるアカデミックな方々にも取材をさせていただきました。その取材の際に、 「数学者は変人しかいない」 「人格破綻してる」 「狂人の巣窟」 なんて、「 数学者やべぇ 」みたいなニュアンスの話を聞くことがしばしばありました。僕の知人で、京都大学を中退後、現在は優秀なエンジニアとしてゴリゴリ最前線で働いている方も「ずっと数学をやっていたかったけど、 数学をやるには全部捨てなきゃ無理だな と思って諦めた」みたいなことを言っており、がぜん「 数学者ってどんな人なんだろう 」と興味が湧いたわけです。 そこで今
【転職活動】ついに事業部長というラスボスを倒してきました（全ての退職面談終了のお知らせ） | わーくすたいる
どうも退職面談が終わった僕です。 やっと転職できそうな気がします。 ということで、今日は転職の記事です。 内定通知書が届きました 昨日、家に内定通知書が届きました。 これで正式に採用されたので、受かった会社に雇用義務が発生します。あとは、退職手続きして、入社するまでに不祥事を起こさないように気をつけるだけ。 不祥事…。これ、怖いですよね。 送られた書類の中に「入社承諾書」というものがありました。 これは、”約束通り入社します。また、入社するまでに不祥事があった場合、内定を取り消されても文句言いません”と言う誓約書です。 おそらく大丈夫だとはありますが、サインするときドキドキしました。 今後、もし何かあり得るとしたら、事故くらいでしょうか。とりあえず、車の運転も常に安全運転を心がけ、いつも以上に慎重な行動を心掛けようと思います…。 ラスボスとの面談 行ってきました、事業部長との面談。 面談の
結城浩の心がけ
結城浩 私は、でたらめに行動しているわけではありません。 自分の行動の「心がけ」をまとめてみました。 パターン・ランゲージ 絵本を読むときのパターン・ランゲージ 技術系メーリングリストで質問するときのパターン・ランゲージ 文章を書く心がけ 文章を書く心がけ 文章を書く心がけ2 —— 書き始めれば、書ける 文章を書く心がけ3 —— 校正の実例 文章を書く心がけ4 —— 書籍執筆とオンラインレビュー 文章を書く心がけ5 —— 校正の実例2 インターネットの心がけ Webページを作る心がけ メールを書く心がけ チャットの心がけ 仕事の心がけ 仕事の心がけ 仕事の心がけ2 —— 仕事のトラブル・ケーススタディ その他の心がけ 教えるときの心がけ 祈りの心がけ 翻訳の心がけ 絵本を読む心がけ 家事手伝いの心がけ 女性とおつきあいをするときの心がけ Web日記を書く心がけ ちらかった部屋を片づける心が
技術系メーリングリストで質問するときのパターン・ランゲージ
目次 はじめに メーリングリスト —— サポートセンターではなく互助会です 表題 —— あいさつではなく用件を書きましょう 自己紹介 —— 自分の知識・技能・経験を簡潔に書きましょう 書き出し —— 最初に問題の要旨を書きましょう 肩書き —— 会社の名前を背負っていることを忘れないように 実行手順 —— 手順は箇条書きで書きましょう 結果の予想 —— 期待した結果を書きましょう 実際の結果 —— 実際に起きたことを書きましょう ステップ明記 —— どこからうまく行かなくなったかを書きましょう 実際の値 —— 条件を具体的に書きましょう エラーメッセージ —— 必ずコピー＆ペーストしましょう 判断理由 —— そのように考えた理由を書きましょう 文献の引用 —— 読者の手間を省くように書きましょう ソース —— 関連する部分を抽出して示しましょう スレッド —— 関連する話題なら「返信」しま
質問は恥ではないし役に立つ - Qiita
一年半SEとして働いてきた中で、私自身が苦手だと思っており、他人からもそのように評価されていたのが「質問の仕方」でした。 それが先日、他人から「質問の仕方がうまいね」と褒められることがあり、ようやく一人前の質問の仕方ができるようになってきたので、どのようにして克服できたのか紹介したいと思います。 質問の基本形 私が入社したばかりの頃は、わからないことがあればすぐに先輩に質問していました。 そのときにしていた質問の内容はだいたいこんな感じです。 「環境構築を手順書通りにやったんですけど、○○のコマンドでエラーがでてしまいます！なんとかなりませんか？」 このような質問を受け取ったら、先輩は暇ならばエラーメッセージを見てくれ、エラーメッセージに書かれていることに対して調査してくれるかもしれませんが、忙しいときにはそんなことはしてもらえません。 こんな質問を繰り返しているうちに先輩からは「技術系メ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
