2 0 0 0 OA ファーストクラス継続をもつ仮想機械
- 著者
- 西崎 真也 植田 友幸
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- 日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第20回記念大会 (ISSN:13493515)
- 巻号頁・発行日
- pp.6, 2003 (Released:2003-12-17)
従来,関数型言語のためのバイトコードを解釈する仮想機械として、SECDマシンやCAMマシンなど多くのものが提唱され,それらに基づく実装や理論的な側面に関する研究がなされてきた.本論文では,SECDマシンを単純化した仮想機械SAM(Simple Abstract Machine)を提唱する.変数参照機能を単純化することにより,仮想機械におけるファーストクラス継続を簡潔に扱うことが可能になっている。
1 0 0 0 OA ペンによるメニュー選択に基づく日本語入力手法
- 著者
- 佐藤 大介 志築 文太郎 三浦 元喜 田中 二郎
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- 日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第20回記念大会 (ISSN:13493515)
- 巻号頁・発行日
- pp.98, 2003 (Released:2003-12-17)
我々はペンによるメニュー選択に基づく日本語入力手法を開発した。このシステムでは子音のみの入力と予測候補の選択により入力速度の向上を図った。しかし、子音の組み合わせによって候補が多数になり、その選択に手間がかかることが問題であった。そこで絞り込みの機能を加え、より効率よく入力が行えるように工夫した。一方メニューにはFlowMenuを採用し、入力と候補の選択を連続的で滑らかなメニュー選択で行えるようにした。そしてユーザによる実験によって本システムを使った日本語入力の有効性を示した。
1 0 0 0 OA 動的型付き言語のためのリージョン推論に基づくメモリ管理
- 著者
- 永田 章人 小林 直樹 米澤 明憲
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- 日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第20回記念大会 (ISSN:13493515)
- 巻号頁・発行日
- pp.7, 2003 (Released:2003-12-17)
型付き言語MLにおけるメモリ管理手法として,リージョン推論に基づく方式がTofteらによって提案,実装されている.この手法では,通常のMLの型システムにメモリ情報(リージョン)を付加して拡張した型システムに基づいて型推論を行うことで,各オブジェクトの生存区間を推定し,メモリの解放・獲得のためのコードをコンパイル時に挿入する.リージョンに基づくメモリ管理は,ガーベジコレクションに比べて早期にオブジェクトを解放でき,また,参照カウントによるメモリ管理方式に比べて実行時のオーバーヘッドが少ない.しかしながら,リージョン推論はMLの静的な型推論の拡張であるため,他の言語,特にSchemeのように動的に型付けされた言語に適用できるかどうかは自明でなかった.本研究では,CartwrightらのSoft typeとリージョン付き型システムとを統合することにより,動的型付き言語に対してもリージョン推論に基づくメモリ管理が行なえることを示す.
1 0 0 0 OA 抽象解釈にみられる圏論的構成について
- 著者
- 西澤 弘毅 木下 佳樹
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- 日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第20回記念大会 (ISSN:13493515)
- 巻号頁・発行日
- pp.51, 2003 (Released:2003-12-17)
Cousot らによる抽象解釈の理論において暗黙的に用いられている圏論的な構成をいくつか明示し,より広い応用のための基礎を与えることを試みる.