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

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

6か月前

3

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

ヒュウガ・クロサキ

1年前

17

反科学のレトリック

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

8か月前

1

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

ヒュウガ・クロサキ

1年前

6

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

タニリョウジ

1年前

2

ヒト、mono、tool

2年前

11

🔮SICP ｢計算機プログラムの構造と解釈｣はもう読まなくていい本か？ javascript版でよりお求めやすく　あとこの翻訳(プログラムの構造と実行)がおすすめ

あたり総研

3年前

1

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

Geeklyメディア編集部

4年前

10

An Evaluation Benchmark for Autoformalization in Lean4

3日前

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

1年前