これは FOLIO Advent Calendar 2025 17日目の記事です。 誰でも一度は魔王になって、勇者のくせになまいきだと、侵入者を撃退するためのダンジョン作りに興じたことがあるでしょう。ダンジョン（長いので以降は迷路と呼ぶ）は古くからある定番コンテンツなだけあって、自動的な生成アルゴリズムにも棒倒し法や穴掘り法な...
BigQueryのSQLについて、ドキュメントを読んだり実験したりしながら挙動を解き明かしていこうと思います。第3回は日付・時刻型についてです。 今回扱う型TIMESTAMPDATETIMEDATETIMEINTERVALRANGETIMESTAMP型TIMESTAMP型は、地球上で共有される同時性における特定の瞬間をあらわします。ただし、計算の都合上うるう秒は除...
圏論の概要 #圏論(category theory) は、1942-45年にSamuel EilenbergとSaunders Mac Laneによって代数的位相幾何学の研究の中で発明された数学の一分野であり、数学的概念を表現し議論するための抽象的な言語を提供する。 圏論の諸概念は、それらの例を数学のあらゆる分野で見つけることができる。 圏論に通底する哲学...
圏論の概要 #圏論(category theory) は、1942-45年にSamuel EilenbergとSaunders Mac Laneによって代数的位相幾何学の研究の中で発明された数学の一分野であり、数学的概念を表現し議論するための抽象的な言語を提供する。 圏論の諸概念は、それらの例を数学のあらゆる分野で見つけることができる。 圏論に通底する哲学...
1. 『寿司 虚空編』小林銅蟲 著 2. 『ウィトゲンシュタインの講義 数学の基礎篇』コーラ・ダイアモンド 編、大谷弘 、古田徹也 訳 3. 『数学に魅せられて、科学を見失う』ザビーネ・ホッセンフェルダー 著、吉田三知世 訳 4. 『数学の認知科学』G.レイコフ、R.ヌーニェス 著、植野義明、重光由加 訳 ▲『寿司 虚空編』小...
趣旨 競技プログラミングでは非常に多くの畳み込みとゲルファント変換が登場するのですが、ゲルファント変換という名称が競技プログラミング界隈ではあまり有名ではないようなので簡素な解説を書いてみます。どうせ$n$番煎じかもしれませんが、現状としてあまり有名でない以上はまだまだこういう記事が増えることで調べ...
競技プログラマ向け 形式言語理論 入門 稲葉 一浩 JOI 春合宿 2012 文字列やツリーやグラフの 集合 について考える分野 「形式言語理論」とは 文字列やツリーやグラフの 集合 を、どうやって表現するか について考える分野 「形式言語理論」とは 文字列やツリーやグラフの 集合 を、どうやって表現するか について考える...
0 \\)。\n\n目標は \\( y \\) の値を求める。\n\nまず、平面内の2点間の距離公式を思い出す：\n\\[\n\\text{距離} = \\sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}\n\\]\n\nこの公式を点 \\( A \\) と \\( B \\) に適用する：\n\\[\n13 = \\sqrt{(10 - 2)^2 + (y - 5)^2}\n\\]\n\n平方根の中を簡略化する：\n\\[\n13 = \\sqrt{...
Cojo @Cojo_A 日本語学と生成文法、そして日本語教育が交わるところを専門としています。つまり、空集合です。巧遅は拙速に如かずという諺が好きですが、どっちつかずです。つまり、何者でもありません。 https://t.co/xv45eNJ6OL Cojo @Cojo_A 識者の方、教えてください。妻が翻訳した本が出版されたのですが、出版社の...
ページ数表記をしていない「」内は引用ではありません。［］内はぼくによる解釈や補足あるいは疑問です。 Stephen Davies「芸術の存在論」（原文）を要約する。英語圏の美学の教科書に収録されている、芸術の存在論入門にちょうどよさそうなテクスト。 まず芸術の存在論ってなんですかという話だが、これは美学者の森功...
「空集合」に関連する商品は見つかりませんでした