檜山正幸のキマイラ飼育記 このページをアンテナに追加 RSSフィード

キマイラ・サイトは http://www.chimaira.org/です。
トラックバック/コメントは日付を気にせずにどうぞ。
連絡は hiyama{at}chimaira{dot}org へ。
蒸し返し歓迎!
このブログの更新は、Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
ところで、アーカイブってけっこう便利ですよ。

2007-11-28 (水)

原島先生のお名前、義兄の推薦図書

| 09:55 | 原島先生のお名前、義兄の推薦図書 - 檜山正幸のキマイラ飼育記 を含むブックマーク

ものすごく久しぶりにキマイラ・サイトの文書を修正した。「人名の読みが間違ってますよ」というご指摘を受けたからだ。

原島鮮先生の読みを「はらしま・せん」と書いていたが、「あきら」だったのです。ごめんなさい。K.Kさん、ご指摘ありがとうございます。

ところで、僕は人名の読み(発音)は比較的気にするほうなのに、なんで調べもせずに「せん」と書いていたのだろう? 耳で聞いたことがあったので、そのまま信じ込んでいたのですね。高校の先生だったような気もするし、物理の教員をやっている義兄だったかもしれないし、もはやハッキリとはわからないけど、「“はらしま・せん”の本はいいよ」とか言われたのだと思う。

義兄が言ったとハッキリと憶えていることは、ラウンダウ/リフシッツの「場の古典論」(asin:448901161X)とキャレンの「熱力学」(asin:4842702729)がいいのだというハナシ。でも、購入はおろか、立ち読みさえしなかったなー。ちょっと悔やまれるかも。

2005-05-14 (土)

代数と余代数 最初の一歩

| 15:36 | 代数と余代数 最初の一歩 - 檜山正幸のキマイラ飼育記 を含むブックマーク

形式的体系の初歩的知識を仮定して代数と余代数の紹介を試みる。特別な条件を満たすソート付き形式的体系の指標(signature)を代数指標/余代数指標と定義して、それのモデルとして代数/余代数を導入する。余代数とオブジェクト指向との関係にも言及する。

連休の前後でなんか調子がくるってしまったので、リハビリに書いてみました。追加しただけでなく、だいぶ書き換えましたね。

最後の節に雑感が書いてあります(ここだけでも読めると思う)。

2005-04-20 (水)

2005年4月 なにが問題か

| 09:34 | 2005年4月 なにが問題か - 檜山正幸のキマイラ飼育記 を含むブックマーク

昨日アップロードのもの、粗雑な表現が多くて、誤解を招きそうだったので、いくぶん修正しておきました。例えば:

  • 旧:構文モジュールからソフトウェア・コンポネントは作れません。
  • 新:構文モジュールから自動的に、まともなソフトウェア・コンポネントは作れません。

2005年4月 なにが問題か

「正規(regular)」とは何なんだ? 2 正規構造

| 16:34 | 「正規(regular)」とは何なんだ? 2 正規構造 - 檜山正幸のキマイラ飼育記 を含むブックマーク

第9節までだったのに書き足して、一応完了。結局、16節。長い。

丁寧と受け取ってもらえたら幸いだけど、内容的にも表現的にも、とにかく冗長です。もっと整理してスッキリさせたかったけど、どうも気分がダラけてしまって。ゴチャゴチャではあるけど、色々なことが書いてあるから、まーいいとしましょう。

2005-04-15 (金)

「正規(regular)」とは何なんだ? 2 正規構造

| 16:29 | 「正規(regular)」とは何なんだ? 2 正規構造 - 檜山正幸のキマイラ飼育記 を含むブックマーク

第5節までのpartial状態だったのを、第9節まで書きました。が、これでもpartialですね。

どうも分量の見積もりが甘いようで。5節で半分程度と予想したけど、1/3だったかも。別な記事にしようか、このまま長い記事にするか、迷うところですが、明るいうちに外に出かけたいので、とりあえず9節までで再アップロード。

2005-04-09 (土)

属性のための正規表現

| 10:42 | 属性のための正規表現 - 檜山正幸のキマイラ飼育記 を含むブックマーク

一昨日(2005-04-07)の日記で間違いを書いてしまって、ひるがえってもとの記事「属性のための正規表現」も同じ間違いをおかしていたのに気が付きました。で、直しました。

間違っていたのは次の2箇所です。

  • 定数EMPTYは、言語としての空集合(空集合言語){}を表す。
  • 定数EMPTYは、空集合{}を表す。ただし、Pow(Pow(X))のメンバーとしての空集合。

いずれも、空集合{}ではなくて、空集合だけからなる集合{{}}です。

同じような内容を表す次の文は、まー、自然言語による説明としては間違いとも言えないのでそのまま残してあります。

  • 定数EMPTYは空集合(何も出現しない)を表す。

ただ、aと{a}を混同しているのが間違いのもとなので、注釈はしておきました。

見直しをしたので、ステータスはprefinalに格上げ。

2005-04-06 (水)

属性か内容か?それは問題ではない

| 09:17 | 属性か内容か?それは問題ではない - 檜山正幸のキマイラ飼育記 を含むブックマーク

基本的に、誤字脱字の修正はいちいちここで報告しませんが、内容に関係する誤記があったので書いておきます。

「属性か内容か?それは問題ではない」内、集合正規表現に疑問符が抜けてました。

誤: GivenName & FamilyName & Sex? & (NotMarrid | (Married & PartnersName))?

正: GivenName & FamilyName & Sex? & (NotMarrid | (Married & PartnersName?))?

married="true"であっても、常に配偶者名を要求されるわけではないので。

2005-03-24 (木)

再帰代入系 2

| 14:19 | 再帰代入系 2 - 檜山正幸のキマイラ飼育記 を含むブックマーク

  • 再帰代入系 2 : 途中だったのに追加をして、いちおうは完成です。

追加した後半部分は、置き換え(substitution)について調べています。退屈かもしれません。前半も多少は手直してしています。とりあえず、「『はじめに』の前に」、「はじめに」、「おわりに」を読んでもらえればいいかと。

なんでこういう記事が必要かというと、直接の動機はモジュール化です。モジュールを操作するときに、モジュールの外部表現(表層構文)やモジュールの意味論がわからないと操作できないのでは、ホントにどうにもならないのですわ。

OBJ系言語やMaude(モード)などの仕様記述言語では、モジュールシステムがモジュール代数を背景としてよく整備されています。それに近いことをやりたいのです。

ち、ちなみに、「OBJ Maude」でgoogle検索したら、日本語ページはたったの15件(雑音含む)。ウーム、、、さびしすぎる。

2005-02-04 (金)

Janusパイプラインの例

| 11:28 | Janusパイプラインの例 - 檜山正幸のキマイラ飼育記 を含むブックマーク

途中だったところを書き足して、表現と間違いを直しました。draftステータスですが、いちおうは書き上がりです。

2005-02-02 (水)

「キマイラ飼育記」について

| 16:41 | 「キマイラ飼育記」について - 檜山正幸のキマイラ飼育記 を含むブックマーク

はてなダイアリー上では、本格的なリプライはできない旨のお断り(言い訳)を入れてます。が、コメント、トラックバック、メールはなんであれ、ほんとにありがたく拝読し、必ずなんらかの形でキマイラ・サイトに反映させます。一例として、分かりにくい説明の改善などにご指摘が役に立ちます。(が、そのてのご意見をまだ反映してない、、、スミマセン)