5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

Chimaira.org

1 :デフォルトの名無しさん:2008/07/05(土) 14:13:16
http://www.chimaira.org/

XMLのスキーマを圏論使って基礎づけようとするサイトです。
数年ほど前に見つけました。

このサイトを通して色々、疑問点等あると思うんですが議論しませんか。

例えば、
- どのようにして実装と繋げるか?
- どのようにしてW3Cに「仕様」として働きかけるか?
- 数学者がこのサイトに気づくにはどうすればいいか?

僕自身は、このサイトは実際のコーディングと、アカデミックな理論の世界をつなぐための鍵なんじゃないかって思ってます。

元のスレッド
http://pc11.2ch.net/test/read.cgi/prog/1215081323/
より引用
--------------------------------------------------------------------------------
>>1
2chにはプログラム板(ム板)とプログラマー板(マ板)があって、こっちはマ板。
マ板はプログラマーが雑談するところだから、技術的な話がしたいならム板に行ったほうがいいと思う。
http://pc11.2ch.net/tech/
--------------------------------------------------------------------------------

このような理由で、こちらにスレッドを立てさせていただきました。
- XMLのスキーマに詳しい方
- 圏論に詳しい方
- 形式言語に詳しい方
等何か意見があれば、是非お願いします。

2 :デフォルトの名無しさん:2008/07/05(土) 18:12:02
良スレの予感


3 :デフォルトの名無しさん:2008/07/06(日) 20:53:11
1です。XML Schemaって数学的な基礎づけってあるんですかね?
ご存知の方がいれば教えてください。

http://www.w3.org/XML/Schema

4 :デフォルトの名無しさん:2008/07/06(日) 23:12:39
数学的な基礎付けって何?

何をすれば「数学的な基礎付けができた」ことになるの?

世の中のもので「〜」ができているもの、できていないものってたとえば何?

あたりから教えれ。

5 :デフォルトの名無しさん:2008/07/06(日) 23:20:56
>4さん
プログラム意味論,
http://ja.wikipedia.org/wiki/プログラム意味論

のようなことが出来れば、数学的な基礎付けができたことになると思っています。

>世の中のもので「〜」ができているもの、できていないもの
これ、難しいですよね。「できる」、とか「できてない」ってすごく主観的で実は曖昧なことに指摘されて気がつきました。
しばらく考えてみます。

3 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)