「#形式化」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

なぜ微分積分学は不完全なのか？

17時間前

20

空間とは何か（6-2）点論(2)多元的形式化

4週間前

9

マレーシアの成人式

1か月前

17

形式化と文学(2)(2009)

1年前

3

富野ガンダムとは要するに「反形式の形式化」の繰り返しである

ヒュウガ・クロサキ

1年前

17

ダウンタウンを取り巻く真の問題点は「反形式の形式化」にある

ヒュウガ・クロサキ

1年前

9

反科学のレトリック

還暦めがねじぃじ＠チャットボットの独立研究者

1年前

1

「欲が薄い」についてに考えた

タニリョウジ

1年前

2

ヒト、mono、tool

2年前

11

🔮SICP ｢計算機プログラムの構造と解釈｣は時代遅れの本なのか？

あたり帳簿

3年前

1

他の人が同じ成果を出せる形式にして始めて成果

Geeklyメディア編集部

5年前

10

An Evaluation Benchmark for Autoformalization in Lean4

8か月前

私達は油断すると、人生を形式化する誘惑にかられてしまう。

2年前