テキスト形式、XML形式
Takeo Imai
今井
---------- Forwarded message ----------
From: Masayuki Hiyama <m.hi...@gmail.com>
Date: 2011/7/20
Subject: Re: モデルのインスタンスの詳細を知りたーい (was Re: 献本送付先を教えてください)
To: takeo...@gmail.com
たけをさん、
最初の質問であった「インスタンスの詳細」なんですが、第5章のp.143の「テ
キスト形式」というのが、ほぼ僕の希望にかなうような感じです。このテキス
ト形式は今はもうないのでしょうか？XML形式にとって代わられた、ってこと？
--
檜山正幸 (HIYAMA Masayuki)
http://d.hatena.ne.jp/m-hiyama/
http://www.chimaira.org/
--
IMAI Takeo <takeo...@gmail.com>
Takeo Imai
From: Takeo Imai <takeo...@gmail.com>
Date: 2011/7/20
Subject: Re: モデルのインスタンスの詳細を知りたーい (was Re: 献本送付先を教えてください)
ありますよ。というか、もしかして4.1以前のバージョン使ってます？
4.2 RC から復活しています。
実はおっしゃるとおり、しばらくXMLに取って代わられていたんですが、今回の翻訳＆改訂を進めるにあたって、
・ 本に載ってるのにツールにないのもおかしい
・ XMLだと人間が直接読みづらいので、代わりにならない
・ 実は作者も、なくなって寂しいと思っていた
ということで、復活することになりました。
2011/7/20 Masayuki Hiyama <m.hi...@gmail.com>:
> たけをさん、
>
> 最初の質問であった「インスタンスの詳細」なんですが、第5章のp.143の「テ
> キスト形式」というのが、ほぼ僕の希望にかなうような感じです。このテキス
> ト形式は今はもうないのでしょうか？XML形式にとって代わられた、ってこと？
>
>
> --
> 檜山正幸 (HIYAMA Masayuki)
>
> http://d.hatena.ne.jp/m-hiyama/
> http://www.chimaira.org/
>
--
IMAI Takeo <takeo...@gmail.com>
--
IMAI Takeo <takeo...@gmail.com>
Takeo Imai
From: Masayuki Hiyama <m.hi...@gmail.com>
Date: 2011/7/20
Subject: Re: モデルのインスタンスの詳細を知りたーい (was Re: 献本送付先を教えてください)
2011年7月20日10:08 Takeo Imai <takeo...@gmail.com>:
> ありますよ。というか、もしかして4.1以前のバージョン使ってます？
安定版のほうがいいかと思い 4.1.10 使ってました。
> 4.2 RC から復活しています。
おお。
>
> 実はおっしゃるとおり、しばらくXMLに取って代わられていたんですが、今回の翻訳＆改訂を進めるにあたって、
> ・ 本に載ってるのにツールにないのもおかしい
> ・ XMLだと人間が直接読みづらいので、代わりにならない
> ・ 実は作者も、なくなって寂しいと思っていた
> ということで、復活することになりました。
ですよね。あのテキスト表示は人間にはかなり見やすい。
一方で、（別にXMLでもいいんですけど）JSONで結果を吐いてくれたりす
ると、例えば、モノイドや群の例なら乗積表のHTMLテーブルに整形とか簡
単にできます。標準ビジュアライザのグラフ形式がいつでも最良の視覚化
とは限らないですからね。
インスタンス受け渡しのデータ形式とインターフェースを決めて、多様な
ビジュアライザ（とも限らないで色々なポスト処理系）に結果をディスパッ
チできると良さそう。JavaAPI見れば出来るんかもしれないですが。
2011年7月20日10:08 Takeo Imai <takeo...@gmail.com>:
Takeo Imai
From: Takeo Imai <takeo...@gmail.com>
Date: 2011/7/20
Subject: Re: モデルのインスタンスの詳細を知りたーい (was Re: 献本送付先を教えてください)
2011/7/20 Masayuki Hiyama <m.hi...@gmail.com>:
> 一方で、（別にXMLでもいいんですけど）JSONで結果を吐いてくれたりす
> ると、例えば、モノイドや群の例なら乗積表のHTMLテーブルに整形とか簡
> 単にできます。標準ビジュアライザのグラフ形式がいつでも最良の視覚化
> とは限らないですからね。
ですね。XMLにしたのは、そういう加工も可能なように、という意図があったんだと思います。
当時はJSONってあんまりはやってなかったですし。
> JavaAPI見れば出来るんかもしれないですが。
あるいは2段構えになっちゃいますけど、XML -> JSON コンバータを作っちゃうという手も。
（XML形式は、今でもビジュアライザの File -> Export To... メニューに残ってます。）
APIを叩くのなら、XML形式にエクスポートしてるコードをちょっといじればできそうですね。
--
IMAI Takeo <takeo...@gmail.com>
--
IMAI Takeo <takeo...@gmail.com>
Takeo Imai
今井
---------- Forwarded message ----------
From: Takeo Imai <takeo...@gmail.com>
Date: 2011/7/20
Subject: Re: モデルのインスタンスの詳細を知りたーい (was Re: 献本送付先を教えてください)
To: Masayuki Hiyama <m.hi...@gmail.com>
そうそう、他にも本の改訂に合わせてツール/言語の仕様を変えちゃった（＾＾；ところがあるので、（安定版ではないんで確かに心配はあるんですが）4.2
RC を使うことをオススメします。
本の内容は4.2準拠です。
2011/7/20 Masayuki Hiyama <m.hi...@gmail.com>:
> 2011年7月20日10:08 Takeo Imai <takeo...@gmail.com>:
>> ありますよ。というか、もしかして4.1以前のバージョン使ってます？
>
> 安定版のほうがいいかと思い 4.1.10 使ってました。
>
>> 4.2 RC から復活しています。
>
> おお。
>
>>
>> 実はおっしゃるとおり、しばらくXMLに取って代わられていたんですが、今回の翻訳＆改訂を進めるにあたって、
>> ・ 本に載ってるのにツールにないのもおかしい
>> ・ XMLだと人間が直接読みづらいので、代わりにならない
>> ・ 実は作者も、なくなって寂しいと思っていた
>> ということで、復活することになりました。
>
> ですよね。あのテキスト表示は人間にはかなり見やすい。
>
> 一方で、（別にXMLでもいいんですけど）JSONで結果を吐いてくれたりす
> ると、例えば、モノイドや群の例なら乗積表のHTMLテーブルに整形とか簡
> 単にできます。標準ビジュアライザのグラフ形式がいつでも最良の視覚化
> とは限らないですからね。
>
> インスタンス受け渡しのデータ形式とインターフェースを決めて、多様な
> ビジュアライザ（とも限らないで色々なポスト処理系）に結果をディスパッ
> チできると良さそう。JavaAPI見れば出来るんかもしれないですが。
>
>
>
> 2011年7月20日10:08 Takeo Imai <takeo...@gmail.com>:
>> ありますよ。というか、もしかして4.1以前のバージョン使ってます？
>> 4.2 RC から復活しています。
>>
>> 実はおっしゃるとおり、しばらくXMLに取って代わられていたんですが、今回の翻訳＆改訂を進めるにあたって、
>> ・ 本に載ってるのにツールにないのもおかしい
>> ・ XMLだと人間が直接読みづらいので、代わりにならない
>> ・ 実は作者も、なくなって寂しいと思っていた
>> ということで、復活することになりました。
>>
>> 2011/7/20 Masayuki Hiyama <m.hi...@gmail.com>:
>>> たけをさん、
>>>
>>> 最初の質問であった「インスタンスの詳細」なんですが、第5章のp.143の「テ
>>> キスト形式」というのが、ほぼ僕の希望にかなうような感じです。このテキス
>>> ト形式は今はもうないのでしょうか？XML形式にとって代わられた、ってこと？
>>>
>>>
>>> --
>>> 檜山正幸 (HIYAMA Masayuki)
>>>
>>> http://d.hatena.ne.jp/m-hiyama/
>>> http://www.chimaira.org/
>>>
>>
>>
>>
>> --
>> IMAI Takeo <takeo...@gmail.com>
>>
>
>
>
> --
> 檜山正幸 (HIYAMA Masayuki)
>
> http://d.hatena.ne.jp/m-hiyama/
> http://www.chimaira.org/
>
--