来る 2004年9月15日および16日に、 神戸大学神大会館にて、第15回ALGI+論理数学合同研究集会を、2004年度 日本数理科学協会年会分科会として開催します。皆様のご参加をお待ちしています。また、スロットが空いている限り、直前まで講演を募集しています。高井 (t-takai@aist.go.jp) まで情報をお 寄せください。
13:30 〜 14:10 竹内 泉 (産総研システム検証研究センター(外来研究員)、 東邦大学・理学部(講師)) 演題 π計算で書いた仕様の検証の為の論理体系 梗概 π計算で書いた仕様の検証の為の論理体系の試作品を提案する。 14:10 〜 14:50 溝口 佳寛 (九州大学大学院・数理学研究院） 演題 A labeled graph expression for a distribution set of DNA sequences 梗概 We introduce a new notion of labeled graph which label describes a density of an object graph. A graph expression is expanded to the set of labeled graphs. We consider a graph rewriting for the graph expression which corresponds to rewritings of the set of graphs. Our notion of graph with a density information is used for a model of molecular programming which is based on rewritings of a molecule for a computation. We explain our main idea and proposal using illustrated examples. 14:50 〜 15:30 休憩 15:30 〜 16:20 河原康雄 （九州大学大学院・システム情報科学研究院） 演題 Dedekind 圏における Tarski の不動点定理 梗概 2項関係の代数的体系である Dedekind 圏において Tarski の不動点定理 を再検証し、拡張する。 16:20 〜 17:00 渡邊 宏（産業技術総合研究所・システム検証研究センター） 演題 画面遷移仕様のモデル検査 梗概 業務系Webアプリケーションの数理的検証の事例研究で手始めに行った画 面遷移仕様の検査をもとに話す。
9:30 〜 10:10 小林 聡 (京都産業大学・理学部・コンピュータ科学科) 演題 情報と依存関係の論理 梗概 「xの値を知っている」を意味する述語D(x)を持ち、情報の隠蔽や、情報 間の依存関係について詳細に記述できる論理を提案する。また、その意味 論的・形式的性質について述べる。 10:10 〜 10:15 休憩 10:15 〜 10:55 鴨 浩靖 (奈良女子大学・理学部・情報科学科) 題目 実効的コンパクト距離空間における実効的Diniの定理 梗概 実効的コンパクト距離空間における計算可能実数値関数列が計算可能実数 値関数に単調に各点収束すれば、実効的に一様収束することを示す。これ は、Diniの定理の計算可能性版である。 10:55 〜 11:35 竹内 泉 (東邦大学・理学部(講師)) 演題 実効的テスト付きクリーニ代数 梗概 コーゼン・古澤らによって研究されたテスト付きクリーニ代数では、テス トはブール代数で表されるものであった。しかし、計算可能性解析学では 一般にテストは半決定可能であり、ブール代数で表すのは適当ではない。 計算可能性解析学に適した形にテストの概念を拡張した実効的テストを提 案し、計算可能性解析学に於けるまた新しい計算模型となるかどうかを検 討する。 11:35 〜 12:15 立木 秀樹 (京都大学人間・環境学研究科) 題目 ドメインの次元的な性質について 梗概 Lawson コンパクトな代数的ドメインの極限要素集合においては、その高 さと代数的な次元とが一致することを示す。 12:15 〜 14:00 昼休みおよび日本数理科学協会総会 14:00 〜 14:40 八杉 満利子 (京都産業大学・理学部) 題目 Sequential computability of a function - diagonal space and limiting recursion 講演者名 Y. Tsujii, M. Yasugi, T. Mori （辻井芳樹、八杉満利子、森隆一） 梗概 区間 I=[0,1) におけるある種の区分的連続関数の計算可能性について、 一様空間の手法と極限再帰的関数の手法の関連を明らかにする。CCA2004 における講演と内容は同じであるが、今回は技術的なことよりも直感的な アイディアを説明したい。 14:40 〜 15:20 浜名 誠 (群馬大学・情報工学科) 題目 Free Σ-monoids: A Higher-order Syntax with Metavariables 梗概 ΣモノイドとはFiore,Plotkin,Turiらによって提案された変数束縛と代入 を持つ抽象構文の代数的意味論である。この発表ではマルチカテゴリの構 成法を元にして、これを自由生成した自由Σモノイドの構成と解析を行う。 結果として得られた構文を具体的な形式系、λ計算を文脈の「穴」で拡張 した体系と対応を取り考察する。
代数，幾何，論理と情報科学（ALGI）： 高井 利憲、古澤 仁
論理数学： 山崎 武