「将棋を指せるようになりたいけど何をすればいいのかよく分かんない」という人におすすめの動…
SKIコンビネータは一手書き換えによるチューリング完全な計算モデルの一つで、S,K,I,(,)の5つ…
量子将棋の序盤を研究します。 詳しいルールはこちら。 この記事では先手の手は▲で、後手の…
以前の記事で東方巨大数5という大会を紹介しました。 昨日(3月26日)、巨大数投稿期間が終了し…
この記事では、巨大数の歴史や、実際に巨大数論者は何をやっているのかを紹介しようと思います…
巨大数論とは、その名の通り巨大な数を研究する分野です。 本稿では、巨大数論がどんな分野な…
「周知の事実」は日常でもよく使う言葉ですが、その裏には興味深い構造が隠れています。 「周…
以前紹介した戦術の改良案として、各辺の中央に穴をあけておくことを試みました。 全体像をみ…
この記事では、タワーディフェンスゲームであるYORG.ioの戦略について、著者の戦略と私の友人…
Alex Churchill、Stella Biderman、Austin Herrickの論文『Magic: The Gathering is Turing Co…
私は普段は数学基礎論や機械学習に触れることが多く、言語学的な知識は各分野で一応用例として…
数学的帰納法は高校数学で教わる証明方法です。 直観的には「ドミノ倒し」の例えによる説明が…
世の中には様々な炒飯レシピがありますが、卵を炒める前に入れる場合と後で入れる場合の狙いを…
現状の閲覧数は以下の通りです。
今日、世界には様々なプログラミング言語が存在します。プログラミング言語には計算を目的とし…
生命が生まれるには液体の水が必要だと言われており、宇宙で生命が生まれることができる（液体…
