並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 3 件 / 3件

新着順 人気順

数学の検索結果1 - 3 件 / 3件

  • このクッソ小さい数を表す単位として割と知られてた「阿頼耶」「阿魔羅」「涅槃寂静」、Wikipedia編集者が適当にデマ書いたのが16年間も削除されず放置され、結果的に定着しちゃっただけらしくて草🌿

    ぷんすわ @l__l__I__l__l さっき知ってまぁまぁビビッた話なんだけど このクッソ小さい数を表す単位として割と知られてた「阿頼耶」「阿魔羅」「涅槃寂静」、Wikipedia編集者が適当にデマ書いたのが16年間も削除されず放置され、結果的に定着しちゃっただけらしくて草🌿 pic.twitter.com/E3tAyuJXGJ 2024-05-08 22:01:28

      このクッソ小さい数を表す単位として割と知られてた「阿頼耶」「阿魔羅」「涅槃寂静」、Wikipedia編集者が適当にデマ書いたのが16年間も削除されず放置され、結果的に定着しちゃっただけらしくて草🌿
    • 詰将棋アルゴリズムdf-pnのすべて | やねうら王 公式サイト

      将棋AIで用いている詰将棋ルーチンにdf-pnというアルゴリズムがある。 これは、proof number(証明数)、disproof number(非証明数)を用いて効率的に探索を行い、その局面が詰むか、詰まないかを判定できるとても強力なアルゴリズムである。 将棋ファンなら『脊尾詰』と言う「ミクロコスモス」(1525手詰)を解く詰将棋専用ソフトについて一度ぐらいは聞いたことぐらいあるだろう。これは、脊尾さんが大学時代に作成されたプログラムである。そこに使われていたのが脊尾さんが考案されたdf-pnというアルゴリズムである。 df-pnに関しては、脊尾さん自身の論文(1998年)があるものの、要点しか書かれておらず、いまのようにGitHubにソースコードがあるわけでもなく、その詳細については長らく謎に包まれたままであった。(この脊尾さんの論文では、証明数のみを用いており、非証明数は陽には出

      • なぜ哲学は多くの人が挫折する学問なのか?

        コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能(広告ブロック機能を持つ拡張機能等)を無効にしてページを再読み込みしてください。 ✕

          なぜ哲学は多くの人が挫折する学問なのか?
        1