motonena

すべて | グループ指定なし | blog | reference

おとなりアンテナ | おすすめページ

1. 2025/05/21 20:15:03 くるるの数学ノート

   2025-05-21
   構造の定義
   Mathlib.ModelTheory
   構造
   定義
   ここまでの定義はだいたい残っている状態からスタートするとする。
   構造のユニバースになる型が必要で、とかでもいいんだけど、区別をつけたいので新しい型Vを定義。ただ自然数でインデックスしているだけ。
   inductive V : Type
   | obj (n : Nat) : V
   deriving Repr, Decid
2. 2025/05/03 21:57:46 ５号館のつぶやき

   2025年 05月 03日
   今朝は珍しく風が収まらずに雨になったらしい
   今朝は雨でした。
   朝はまだ降っていましたが、ほとんど上がってきていたようです。
   昨日は風が強くて、風が収まってから雨になると思っていたのですが、今回は珍しく風が収まらずに雨になってようです。こちらが風のグラフ。
   今朝になって、雨が収まってきた頃に、風も収まってきたようです。
   西の方から、晴れてきていました。
   雨と風が収まったら

3. 2025/04/18 11:10:41 /dev/wd0a

   2025-04-17
   ■
   帰ってきました。
   研究雑記などを書くためにresearchmapの研究ブログを使っていたのですが、最近、researchmapがブログ機能を見捨てつつあるように感じているので、移転先を探しています。とりあえず、ここも復活させます。どう使うかは未定です。
   wd0 2025-04-17 18:21 読者になる
   広告を非表示にする
   もっと読む
   コメントを書く
   帰ってきました。

4. 2024/03/25 16:28:31 hiroki_fの日記

   hiroki_f’s diary
   読者になる
   

5. 2022/05/12 04:59:00 難関大学への数学

   力
   

6. 2019/07/30 01:35:43 fuzzy Weblog@hatena

   この広告は、90日以上更新していないブログに表示しています。

7. 2015/06/04 20:36:45 自主セミナー　やって候

   プロフィール
   はじめまして。私の名前は松崎遥です。
   2010年現在、東京大学大学院総合文化研究科の2年生です。
   最近いろいろ総合しすぎてよく解っていません。
   e-mailアドレスは、blckcloistergmilどっと混むです。出会い系サイトの攻撃によりコメント機能は使えませんので、こちらにご連絡下さい。
   私の好きな言葉だけ・・・
   「証明の海の中にこそ数学の生命が宿り、定理や予想は大海に浮かぶた