2019年10月2日のブックマーク (3件)

  • 42は3つの立方数の和で表せる――惑星コンピューターを使って最後の難問を解く - fabcross for エンジニア

    ブリストル大学とマサチューセッツ工科大学(MIT)が率いるチームは、65年におよぶ数学パズルで、最後まで残っていた解を求めることに成功した。 この問題は1954年にケンブリッジ大学で設定された方程式 x3+y3+z3=k について、k=1から100までのすべての解を求めるというものだ。このディオファントス方程式(Diophantine Equation:多変数多項式の整数解や有理数解を求める問題)を解くには、膨大な計算を必要とするため、当時すぐに手に負えなくなった。しかしその後のコンピューターの進歩により、それぞれのkについて解が求まり、あるいは解がないことが証明され、「33」と「42」が残っていた。このうち「33」については、ブリストル大学のAndrew Booker教授がスーパーコンピューターを使って解を求めることに成功し、残るは「42」だけとなっていた。 奇しくも「42」は、イギリス

    42は3つの立方数の和で表せる――惑星コンピューターを使って最後の難問を解く - fabcross for エンジニア
  • 女性ラノベ主人公は存在しない - い(い)きる。

    (注意︰とある時雨沢恵一作品の一応のネタバレを含みます) ライトノベル。アニメ・漫画ゲーム的な感覚を取り入れたエンターテイメント小説の総称です。前世紀末から我が国で急速に発展したこの分野では、そのメインターゲットが男性である都合上、女性主人公がほぼ存在しません。 そう言われて、え?アレとかソレとかあるでしょ?と首を傾げた方も多いでしょう。そうですね、生物学的には女性であるキャラクターが主人公を務めるラノベというだけなら、たしかにそれなりの数があります。 しかし実のところ、それらの「女性主人公」と呼ばれるものは、女性の皮をかぶった「実質的男性」に過ぎないのです。だから上の命題は正確には、ラノベには「当の女性主人公」はほぼ存在しない、ということになります。 「実質的男性」である「(偽)女性主人公」の実例を見ていくことで、この事実を確かめてみましょう。 リナ=インバース(神坂一『スレイヤーズ

    女性ラノベ主人公は存在しない - い(い)きる。
    sho420
    sho420 2019/10/02
  • ITエンジニアの新たなバイブル『レガシーコードからの脱却』を読んだ - paiza times

    こんにちは。谷口です。 先日、オライリー社から『レガシーコードからの脱却――ソフトウェアの寿命を延ばし価値を高める9つのプラクティス』が発売されましたね。 弊社でもすぐ購入し、読みまくり、「これはリーダブルコードのように次世代のエンジニアのバイブルになる予感…」と言っているエンジニアもいたので、今回は書の概要紹介と感想について書きたいと思います。 私の書はすでに画像の通りふせん貼りすぎ下線ひきすぎ読みすぎでボロボロです。 レガシーコードからの脱却 ―ソフトウェアの寿命を延ばし価値を高める9つのプラクティス 作者:David Scott Bernstein発売日: 2019/09/19メディア: 単行(ソフトカバー) 概要について 書はどんな内容の書籍なのか、まずオライリー社公式サイトにはこう書かれています。 書では、ソフトウェア開発において、初めからレガシーコードを作りださないた

    ITエンジニアの新たなバイブル『レガシーコードからの脱却』を読んだ - paiza times
    sho420
    sho420 2019/10/02