21/12/24 18:23:52.56 sNeIr8z2.net
zbmath ショルツェレビュー
「The category of Hodge theaters has
an extremely complicated definition」
例えば基本シンプルな機械言語で
この定義をプログラミングする
とは可能だろうか？
ふつうはまず極端に複雑な定義を
明確にするためsimplifyが必要で
書き直しからでしょう、
全般にremarkだらけだし。
21/12/24 18:23:52.56 sNeIr8z2.net
zbmath ショルツェレビュー
「The category of Hodge theaters has
an extremely complicated definition」
例えば基本シンプルな機械言語で
この定義をプログラミングする
とは可能だろうか？
ふつうはまず極端に複雑な定義を
明確にするためsimplifyが必要で
書き直しからでしょう、
全般にremarkだらけだし。