https://www.downcastingsoft.net/7e5/diary/ 2025-05-01T11:46:52Z hnagamin https://www.downcastingsoft.net/7e5/diary/ tag:www.downcastingsoft.net,2025-05-01:/7e5/diary/article/2025/05/01/cnn-zr/ 2025-05-01T11:46:52Z 2025-05-01T11:46:52Z 直観主義命題論理のカノニカルモデルの幾何的な見方について検討する．

直観主義命題論理のカノニカルモデルの幾何的な見方について検討する．

tag:www.downcastingsoft.net,2024-12-31:/7e5/diary/article/2024/12/31/mmm/ 2024-12-31T05:09:08Z 2024-12-31T05:09:08Z Common Lisp では，複数の式に展開されるマクロを書くことはできない． 代替策として， 複数の式のリストに展開されるマクロを複数の式に展開するマクロを定義するマクロを定義する．

Common Lisp では，複数の式に展開されるマクロを書くことはできない． 代替策として， 複数の式のリストに展開されるマクロを複数の式に展開するマクロを定義するマクロを定義する．

tag:www.downcastingsoft.net,2023-06-14:/7e5/diary/article/2023/06/14/pois-ts/ 2023-06-14T03:17:14Z 2023-06-14T03:17:14Z ポアソン分布に従って到着するリクエストを到着時刻のタイムスタンプで処理する場合にタイムスタンプが衝突する確率を計算する．

ポアソン分布に従って到着するリクエストを到着時刻のタイムスタンプで処理する場合にタイムスタンプが衝突する確率を計算する．

tag:www.downcastingsoft.net,2023-05-20:/7e5/diary/article/2023/05/20/hankel/ 2023-05-20T14:14:55Z 2023-05-20T14:14:55Z Chihara (1978/2011) “An Introduction to Orthogonal Polynomials” の第1章3節 “Existence of OPS” には，直交多項式系が存在することとハンケル行列式が非零であることとの同値性を述べた定理（Theorem 3.1）がある． この記事では Theorem 3.1 の別証明を与える． 多項式がなすベクトル空間における座標変換を利用する．

Chihara (1978/2011) “An Introduction to Orthogonal Polynomials” の第1章3節 “Existence of OPS” には，直交多項式系が存在することとハンケル行列式が非零であることとの同値性を述べた定理（Theorem 3.1）がある． この記事では Theorem 3.1 の別証明を与える． 多項式がなすベクトル空間における座標変換を利用する．

tag:www.downcastingsoft.net,2022-11-17:/7e5/diary/article/2022/11/17/terastal-pagerank/ 2022-11-17T13:57:58Z 2023-04-02T14:17:30Z PokéRank は，ページランクを応用してポケモンにおける強いタイプの組合せを計算する手法である． この記事では，『ポケットモンスター スカーレット・バイオレット』で新たに導入されるテラスタルについて検討するための，新しい PokéRank 法の変種を提案する．

PokéRank は，ページランクを応用してポケモンにおける強いタイプの組合せを計算する手法である． この記事では，『ポケットモンスター スカーレット・バイオレット』で新たに導入されるテラスタルについて検討するための，新しい PokéRank 法の変種を提案する．

tag:www.downcastingsoft.net,2022-09-14:/7e5/diary/article/2022/09/14/nth-root/ 2022-09-14T02:53:12Z 2024-01-08T16:38:41Z x = 1 の周りにおける n 乗根関数 f(x) = x^(1/n) の [1/1] パデ近似を求める． また，いくつかの計算例を示す．

x = 1 の周りにおける n 乗根関数 f(x) = x^(1/n) の [1/1] パデ近似を求める． また，いくつかの計算例を示す．

tag:www.downcastingsoft.net,2022-05-28:/7e5/diary/article/2022/05/28/hik02-whitney/ 2022-05-28T11:06:43Z 2023-04-02T14:14:45Z 本間利久・五十嵐一・川口秀樹『数値電磁力学：基礎と応用』(2002) の 第5.1節「微分形式とホイットニー要素」(5.51)式では， 1次ホイットニー要素基底の頂点座標による表示が与えられている． 本稿では，ベクトル三重積の公式と外積の性質を用いて(5.51)式を導出する．

本間利久・五十嵐一・川口秀樹『数値電磁力学：基礎と応用』(2002) の 第5.1節「微分形式とホイットニー要素」(5.51)式では， 1次ホイットニー要素基底の頂点座標による表示が与えられている． 本稿では，ベクトル三重積の公式と外積の性質を用いて(5.51)式を導出する．

tag:www.downcastingsoft.net,2022-02-26:/7e5/diary/article/2022/02/27/zo-it-ja/ 2022-02-26T15:52:12Z 2023-04-02T14:13:20Z 文献管理ソフト Zotero において，研究資料は34種類の item type（アイテムの種類）に分類される． この記事では，item type の日本語名と英語名の対照表を示す．

文献管理ソフト Zotero において，研究資料は34種類の item type（アイテムの種類）に分類される． この記事では，item type の日本語名と英語名の対照表を示す．

tag:www.downcastingsoft.net,2022-02-15:/7e5/diary/article/2022/02/15/as-repl/ 2022-02-15T10:23:31Z 2024-05-07T16:24:24Z 『キューネン 数学基礎論講義』の置換公理図式は，よく知られる定義とは異なっている． キューネンの流儀では置換公理から内包公理（分出公理）を導くことはできないと思われる． 置換公理をみたすが内包公理をみたさないモデルの構成を試みた．

『キューネン 数学基礎論講義』の置換公理図式は，よく知られる定義とは異なっている． キューネンの流儀では置換公理から内包公理（分出公理）を導くことはできないと思われる． 置換公理をみたすが内包公理をみたさないモデルの構成を試みた．

tag:www.downcastingsoft.net,2022-01-23:/7e5/diary/article/2022/01/23/wordle-4g/ 2022-01-23T08:51:35Z 2023-04-02T14:09:37Z Wordle は，隠された5文字の英単語を当てるパズルゲームである． プレイヤーは6回まで解答でき，その度に「どの文字が使われているか」「文字が正しい位置で使われているか」というヒントが与えられる． この記事では，4文字を正しく当てた後，残りの1文字を絞り込むのが難しい単語を 791 語（111 パターン）紹介する．

Wordle は，隠された5文字の英単語を当てるパズルゲームである． プレイヤーは6回まで解答でき，その度に「どの文字が使われているか」「文字が正しい位置で使われているか」というヒントが与えられる． この記事では，4文字を正しく当てた後，残りの1文字を絞り込むのが難しい単語を 791 語（111 パターン）紹介する．