|
|
|
|
|
||
|
||
250521s
250522ys
2x1
1
1
0
1X
1
4
2x
5.31
[SAT]
14:00
10:00
VS.
イベント情報 チケット購入
シーズンシート
2025/05/21 (水)
「SEASON SEAT 2025 35GAMES SEAT」新規申込終了のお知らせ
キャンペーン
2025/05/21 (水)
ファイターズ応援キャンペーン！コカ･コーラ社製品を飲んで当てよう!!
五月晴れフェスタ イベント情報追加！
村上宗隆シート受付開始！（交流戦9試合）
山田哲人シート受付開始！（交流戦9試合）
5月28日（水）中日戦「みずほDAY presented byみずほ銀行」を開催します！
5/24土
試合前中止
小川 泰弘
vs 巨人
18:00 東京ドーム
JERA セ・リーグ公式戦 第11回戦
五月晴れフェスタ イベント情報追加！
イベント2025 5/21
村上宗隆シ
2025-05-21
構造の定義
Mathlib.ModelTheory
構造
定義
ここまでの定義はだいたい残っている状態からスタートするとする。
構造のユニバースになる型が必要で、とかでもいいんだけど、区別をつけたいので新しい型Vを定義。ただ自然数でインデックスしているだけ。
inductive V : Type
| obj (n : Nat) : V
deriving Repr, Decid
2025年01月26日
久慈六郎オリジナル商品販売中
忘れたころにブログ書きますが久慈六郎Tシャツとかオリジナルグッズを作りました。
こちらhttps://suzuri.jp/kujirokuで販売中で色々と扱っていますが、まあ自己満です。
いつ販売終了になるか判らないけど勇気がある人は買ってください。
庶民には手が届かない非常に高いブランドTシャツです。
これ着て海外に出かけてYouTube動画
・二重価格・スマートフォン・アンドロイド
・加齢臭・第二新卒・アンチエイジング
インターポットについて詳しくはこちら >>
02/11 サイト全体を見直し、ページの修正、削除などを行いました。-12/03 [あらすじ][現在の状況]