▽或る理工系学生の日記
●07/30 09:32
｢#gooblog引越し｣で体験談を募集中

▽くるるの数学ﾉｰﾄ
●07/06 13:04
ｱﾒﾘｶ在住中年男性集合論者のﾌﾞﾛｸﾞ2025-07-06ZF完成+ｿｰｽ公開ZFの公理公理は全部書けたと思ったら選択公理忘れてた｡でもとにかく書けた+ﾃｽﾄｹｰｽになりそうなことを一つずつはやったので満足｡というわけで､ひとまず公開した｡https://github.com/ishiut/fo_zfc一応､最低限のﾄﾞｷｭﾒﾝﾄは書いたつもりなのだけれども｡この前も書いたけど､ｿｰｽ公開というのをやったことがないので手探り部分が多い｡まあ､ﾗｲｾﾝｽはMathlibに合わせてApache2.0にすると決めたのでそこは迷わなくて良い｡学んだことや気がついたことを思い出せる範囲で｡変数のﾀｲﾌﾟﾏｯﾁすでに書いたとおり､Mathlib.ModelTheoryの変数は(N ⊕ Fin n)型でｲﾝﾃﾞｯｸｽされている｡nは束縛されうる変数の数｡De Brujin indexなのでこの

▽やっぱり物理が好き
●07/02 17:17
06 | 2025/07 | 08- - 1 2 3 4 56 7 8 9 10 11 1213 14 15 16 17 18 1920 21 22 23 24 25 2627 28 29 30 31 - -

▽中学数学教材研究ﾉｰﾄ
●06/24 14:39
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡

▽The'80s Music !
●03/02 14:51
<< 2025年03月 >>23 24 25 26 27 28 2930 31