Chimaira.org
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2008/07/05(土) 14:13:16XMLのスキーマを圏論使って基礎づけようとするサイトです。
数年ほど前に見つけました。
このサイトを通して色々、疑問点等あると思うんですが議論しませんか。
例えば、
- どのようにして実装と繋げるか？
- どのようにしてW3Cに「仕様」として働きかけるか？
- 数学者がこのサイトに気づくにはどうすればいいか？
僕自身は、このサイトは実際のコーディングと、アカデミックな理論の世界をつなぐための鍵なんじゃないかって思ってます。
元のスレッド
http://pc11.2ch.net/test/read.cgi/prog/1215081323/
より引用
--------------------------------------------------------------------------------
>>1
2chにはプログラム板(ム板)とプログラマー板(マ板)があって、こっちはマ板。
マ板はプログラマーが雑談するところだから、技術的な話がしたいならム板に行ったほうがいいと思う。
http://pc11.2ch.net/tech/
--------------------------------------------------------------------------------
このような理由で、こちらにスレッドを立てさせていただきました。
- XMLのスキーマに詳しい方
- 圏論に詳しい方
- 形式言語に詳しい方
等何か意見があれば、是非お願いします。
0002デフォルトの名無しさん
2008/07/05(土) 18:12:020003デフォルトの名無しさん
2008/07/06(日) 20:53:11ご存知の方がいれば教えてください。
http://www.w3.org/XML/Schema
0004デフォルトの名無しさん
2008/07/06(日) 23:12:39何をすれば「数学的な基礎付けができた」ことになるの？
世の中のもので「〜」ができているもの、できていないものってたとえば何？
あたりから教えれ。
0005デフォルトの名無しさん
2008/07/06(日) 23:20:56プログラム意味論,
http://ja.wikipedia.org/wiki/プログラム意味論
のようなことが出来れば、数学的な基礎付けができたことになると思っています。
＞世の中のもので「〜」ができているもの、できていないもの
これ、難しいですよね。「できる」、とか「できてない」ってすごく主観的で実は曖昧なことに指摘されて気がつきました。
しばらく考えてみます。
■ このスレッドは過去ログ倉庫に格納されています