著者

井田 哲雄 稲垣 康善 上田 和紀 米澤 明憲 筧 捷彦

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.6, no.3, pp.296-307, 1989-07-14

著者

一杉 裕志 松岡 聡 米澤 明憲

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.11, no.3, pp.3_225-3_237, 1994-05-16 (Released:2018-11-05)

---

分散環境で稼働する,リフレクティブな並列オブジェクト指向言語RbClとその実現方法について述べる.RbClの処理系を構成するすべての実行時ルーチンは,言語のユーザが動的に変更・拡張可能である.つまり,並列実行やリフレクションを含むすべての言語機構が,固定された実行時カーネルとしてではなく,ユーザが置き換え可能な形で実現されている.記述言語との言語的共生と,直接実行のリフレクティブタワーという2つの概念によってこのような言語が実現可能になることを示した.

著者

米澤 明憲

雑誌

情報処理

巻号頁・発行日

vol.29, no.4, 1988-04-15

著者

米澤 明憲

出版者

東京大学理学部

雑誌

東京大学理学部廣報

巻号頁・発行日

vol.21, no.4, pp.6-7, 1990-03

著者

米澤 明憲 武市 正人

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.11, no.3, pp.163-164, 1994-05-16

著者

柴山 悦哉 松田 裕幸 米澤 明憲

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.26, no.5, pp.p460-468, 1985-05-15

著者

米澤 明憲

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.20, no.7, pp.654-655, 1979-07-15

著者

細部 博史 松岡 聡 米澤 明憲

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.16, no.6, pp.549-561, 1999-11-15

被引用文献数

4

著者

増原 英彦 松岡 聡 米澤 明憲

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告. PRO, [プログラミング]

巻号頁・発行日

vol.95, no.82, pp.65-72, 1995-08-24

---

並列アプリケーションのための機能拡張や最適化を行う手段として、自己反映計算によるメタレベルプログラミングが有効であることが認められつつあるが、実際のアプリケーションに応用した場合の有効性は、メタアーキテクチャの設計に大きく左右される。現在我々は、並列オブジェクト指向言語ABCL/fのメタアーキテクチャを設計している。特徴は、メタインタプリタ・メタオブジェクトによる拡張、annotationによるメタレベルへの指示、継承によるメタプログラムの再利用などである。本論文では、いくつかの並列プログラムにおける機能拡張の例を挙げ、それらがどのように記述されるかを検討することで、メタアーキテクチャの有効性を確かめる。

著者

米澤明憲 柴山悦哉 [著]

出版者

岩波書店

巻号頁・発行日

1992

著者

住井英二郎 大根田裕一 米澤 明憲

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.45, no.SIG12(PRO23), pp.67-82, 2004-11-15

---

制御フローグラフに類似した一般的な命令型言語を,CPS(継続渡しスタイル)を中間表現としてコンパイルする方法を提案する.CPS とは,「残りの計算」(継続と呼ばれる)を表現する関数を生成することにより,すべての関数呼び出しや条件分岐を末尾位置においた関数型言語の一種であり,Scheme やML といった関数型言語のコンパイラに広く用いられている.命令型言語をCPS に変換することで,スタックフレームや例外ハンドラが継続として明示化され,関数適用や例外処理における複雑な制御の流れが明確化される.結果として,インライン展開や末尾呼び出し最適化を含む多くの最適化が容易に実現できる.我々は命令型言語をCPS に変換する過程の単純な定式化を与え,その正しさを証明する.

著者

米澤 明憲 奥谷 禮子

出版者

朝日新聞社

雑誌

週刊朝日

巻号頁・発行日

vol.111, no.9, pp.64-67, 2006-03-03

著者

田浦 健次朗 米澤 明憲

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.41, no.5, pp.1490-1499, 2000-05-15

---

専有された,分散記憶並列計算機において,局所ごみ集めのスケジュール戦略が性能に与える影響について考察し,実験結果を報告する.分散記憶並列計算機におけるごみ集め(GC)方式は一般に,局所GCと大域GCを組み合わせて用いる.各プロセッサはメモリのある一部の領域を,他のプロセッサの協調なしに回収するために局所GCを行い,複数のプロセッサにまたがるごみを回収するのに大域GC(参照カウントや大域マークスイープ)を行う.局所GCのそもそもの動機は,特に大規模な並列計算機では高価である,プロセッサ間の協調や通信をできるだけ避けることであるため,それらは一般に各プロセッサによって独立にスケジュールされることが多い(独立スケジュール方式).しかし,我々の実験結果はそのようなスケジュール方式は,通信遅延に敏感なアプリケーションの性能を大きく低下させることを示している.この原因は,そのようなスケジュールによって,GC中のプロセッサが,入ってくるメッセージに対して反応が遅くなることにある.一方で,全プロセッサが同時にごみ集めを行う,同期スケジュール方式は,それによって余分な同期やごみ集めのための仕事が生じるにもかかわらず,はるかに頑強な性能特性を示す.さらに,アプリケーションの通信挙動を観測することで,実行時に望ましいスケジューリング戦略を選ぶことが可能であることを示す.

著者

古瀬 淳 米澤 明憲

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.1, pp.180-185, 2008

---

C言語プログラムでのメモリ脆弱性攻撃などによって生ずる機密情報漏洩を防ぐため,我々はC言語のメモリ安全化コンパイル技術を仮定した上で,その情報流解析手法を提案する.Cのメモリ安全化コンパイルにおけるエラー忘却型計算では,メモリ脆弱性攻撃を受けた際のプログラムの脆弱性回避を自動的に行うが,我々の情報流解析による安全性は,このエラー忘却型計算の「不安定な挙動」をも安全化できる.これにより,我々のCのコンパイル技術VITCではメモリ脆弱性攻撃を受けた後にも一定の安全性の下でプログラムの継続実行を行うことができる.

著者

米澤 明憲

雑誌

情報処理

巻号頁・発行日

vol.20, no.7, 1979-07-15

著者

増原 英彦 松岡 聡 米澤 明憲

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.37, no.7, pp.1290-1298, 1996-07-15

---

並列自己反映言語システムは 並列アプリケーションの最適化等を簡潔に記述するメタプログラミングの機能を持つ一方 解釈実行に基づくモデルから来る効率上の問題を持つ.本論文では部分計算を用いた並列自己反映言語のコンパイル技法を提案する.この技法では 副作用について拡張された部分計算やプログラム変換を適用することで基本的に解釈実行を除去し 直接実行のみとする.並列計算機上の実験では 並列アプリケーションのメタレベルに記述された最適化が 7?17%のオーバヘッドで実行できるという結果が得られている.

著者

永田 章人 小林 直樹 米澤 明憲

出版者

日本ソフトウェア科学会

雑誌

日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第20回記念大会 (ISSN:13493515)

巻号頁・発行日

pp.7, 2003 (Released:2003-12-17)

---

型付き言語MLにおけるメモリ管理手法として,リージョン推論に基づく方式がTofteらによって提案,実装されている.この手法では,通常のMLの型システムにメモリ情報(リージョン)を付加して拡張した型システムに基づいて型推論を行うことで,各オブジェクトの生存区間を推定し,メモリの解放・獲得のためのコードをコンパイル時に挿入する.リージョンに基づくメモリ管理は,ガーベジコレクションに比べて早期にオブジェクトを解放でき,また,参照カウントによるメモリ管理方式に比べて実行時のオーバーヘッドが少ない.しかしながら,リージョン推論はMLの静的な型推論の拡張であるため,他の言語,特にSchemeのように動的に型付けされた言語に適用できるかどうかは自明でなかった.本研究では,CartwrightらのSoft typeとリージョン付き型システムとを統合することにより,動的型付き言語に対してもリージョン推論に基づくメモリ管理が行なえることを示す.

著者

辻井 潤一 米澤 明憲 田浦 健次朗 宮尾 祐介 松崎 拓也 狩野 芳伸 大田 朋子 SAETRE Rune 柴田 剛志 三輪 誠 PYYSALO SAMPO Mikael 金 進東 SAGAE Kenji SAGAE T. Alicia 王 向莉 綱川 隆司 原 忠義

出版者

東京大学

雑誌

特別推進研究

巻号頁・発行日

2006

---

本研究は、文解析研究で成功してきた手法、すなわち、巨大な文書集合を使った機械学習技術と記号処理アルゴリズムとを融合する手法を、意味・文脈・知識処理に適用することで、言語処理技術にブレークスルーをもたらすことを目標として研究を遂行した。この結果、(1)言語理論に基づく深い文解析の高速で高耐性なシステムの開発、(2)意味・知識処理のための大規模付記コーパス(GENIAコーパス)の構築と公開、(3)深い文解析の結果を用いた固有名、事象認識などの意味・知識処理手法の開発、(4)大規模なテキスト集合の意味・知識処理を行うためのクラウド処理用ソフトウェアシステムの開発、において世界水準の成果を上げた。(2)で構築されたGENIAコーパスは、生命科学分野でのテキストマイニング研究のための標準データ(Gold Standard)として、国際コンペティション(BioNLP09、BioNLP11)の訓練・テスト用のデータとして、採用された。また、(1)の研究成果と機械学習とを組み合わせた(3)の成果は、これらのコンペティションで高い成績を収めている。また、(1)と(4)の成果により、Medlineの論文抄録データベース(2千万件、2億超の文)からの事象認識と固有名認識を数日で完了できることを実証した。その成果は、意味処理に基づく知的な文献検索システム(MEDIE)として公開されている。

著者

米澤 明憲 早野 龍五 牧島 一夫

出版者

東京大学大学院理学系研究科・理学部

雑誌

東京大学理学系研究科・理学部ニュース

巻号頁・発行日

vol.40, no.2, pp.14-15, 2008-07

---

山田尚勇先生を悼んで/追悼 : 野上耀三先生/東京大学大学院理学系研究科・博士学位取得者一覧/人事異動報告/あとがき

著者

浅井 健一 松岡 聡 米澤 明憲

雑誌

全国大会講演論文集

巻号頁・発行日

vol.41, pp.8-9, 1990-09-04

---

近年、並列Lispが関数型言語の潜在的な並列性を大きく引き出せるものとして注目されている。実際にMultilisp[3]をはじめとしてMultischeme[6],Mul-T[5],QIisp[2]などたくさんの並列が開発され並列計算機上で高い性能が報告されている。しかし、現在のところ並列Lispは並列計算機上での性能を向上させることを目的としているのでもっぱら性能に関しての議論がなされ、言語の意味に関する考察はほとんどなされていない。そのため言語仕様があいまいになるし、言語仕様の変更も難しくなっている。このことはスケジューリング方式の固定化を引き起こし、ひいては自己反映計算[8]の実現を難しくしている。そこでMultiLispの操作的意味記述[1]を与え、これを用いて逐次型計算機上にSchme[7]によるインタプリタを作成した。さらにこれをもとに表示的意味記述を与える。またその記述から導かれるfutureとcall/ccとの相互干渉について述べる。