日本一無責任な数学基礎論の文章です。

2000年7月16日のむなしい努力
出てきた昔の構想(妄想か?)をHTML化してみた。
元文書のクラリスワークス4.0でHTMLでの別名で保存、タグがきたなくちょっと読みづらい。
手作業で、対応表に作り直す、その他の構造も直そうと思ったけどやめた。
Netscape Communicatorで再変換、改行は多いけど、ずいぶん、タグがきれいになったなあ、
エディタのYoEditで手修正するときにタグが小文字だと気持ちいいのを発見。
ブラウザのiCabで文法再チェック、アクサンはほっとく。
できたしろものが
より大きな問題
である。
その内容の正否が検証できるわけでもないのに。
いつもは、完全に手書きだけど、どうせホストに加工されてしまうのもそうか。

昔の文章を
昔のパソコン通信に載せた文章をアップしようとしたら
論理記号やら順序対の苦労した記法がHTMLでは使えない。
最小限の修正をしたらlha圧縮してあっぷしようかな。
気が向いたら読んでね。
obores.lzh
追記うっかりmacbinだったのを修正しました。

1998年3月某日 何年か昔に書いた構想が出てきた。
今となっては何を考えていたかも記憶に無い、
もちろんその時点でも時代錯誤かもしれないし、勘違いかもしれない。
でもこの方向で解決されると信じたい。


お約束の玄関にもどる