- ホーム
- 活動報告
- COEプログラム活動報告
- 平成19年活動報告
平成19年度活動報告
１９年度活動報告
I. 構成員
１．拠点リーダー
| 片山 卓也 | 情報科学研究科・情報システム学専攻 | 教授 |
２．研究グループ（※は協力員）
(1) 電子社会のための法令文書論理表現と推論グループ
| 島津 明 | 情報科学研究科・情報処理学専攻 | 教授 |
| 東条 敏 | 情報科学研究科・情報処理学専攻 | 教授 |
| ※ 白井 清昭 | 情報科学研究科・情報処理学専攻 | 准教授 |
| ※ 鳥澤 健太郎 | 情報科学研究科・情報処理学専攻 | 准教授 |
| ※ 中村 誠 | 情報科学研究科・情報処理学専攻 | 助教 |
| ※ 永田 裕一 | 情報科学研究科・情報処理学専攻 | 助教 |
| ※ 風間 淳一 | 情報科学研究科・情報処理学専攻 | 助教 |
(2) 電子社会のための形式推論機構グループ
| 小野 寛晰 | 情報科学研究科・情報処理学専攻 | 教授 |
| 小川 瑞史 | 情報科学研究科・情報処理学専攻 | 教授 |
| VESTERGAARD, Rene | 情報科学研究科・情報システム学専攻 | 准教授 |
| ※ 石原 哉 | 情報科学研究科・情報処理学専攻 | 准教授 |
| ※ Nikolaos, Galatos | 情報科学研究科・情報処理学専攻 | 助教 |
(3) 電子社会のための形式検証技術グループ
| 二木 厚吉 | 情報科学研究科・情報システム学専攻 | 教授 |
| 平石 邦彦 | 情報科学研究科・情報システム学専攻 | 教授 |
| 緒方 和博 | 情報科学研究科・情報処理学専攻 | 特任准教授 |
| 青木 利晃 | 安心電子社会研究センター | 特任准教授 |
| 中村 正樹 | 情報科学研究科・情報システム学専攻 | 助教 |
| ※ 岸知二 | 情報科学研究科 | 客員教授 |
(4) 電子社会のためのモデル化技術グループ
| 落水 浩一郎 | 情報科学研究科・情報システム学専攻 | 教授 |
| 池田 満 | 知識科学研究科・知識システム基礎学専攻 | 教授 |
| 鈴木 正人 | 情報科学研究科・情報システム学専攻 | 准教授 |
| ※ 服部 哲 | 情報科学研究科 | 助教 |
(5) 電子社会のための安心基盤技術グループ
| 宮地 充子 | 情報科学研究科・情報システム学専攻 | 教授 |
| 篠田 陽一 | 情報科学センター | 教授 |
| DEFAGO, Xavier | 情報科学研究科 | 准教授 |
| 日比野 靖 | 情報科学研究科・情報システム学専攻 | 教授 |
| 金子 峰雄 | 情報科学研究科・情報システム学専攻 | 教授 |
| 赤木 正人 | 情報科学研究科・情報処理学専攻 | 教授 |
| 党 建武 | 情報科学研究科・情報処理学専攻 | 教授 |
| 浅野 哲夫 | 情報科学研究科・情報処理学専攻 | 教授 |
| ※ 知念賢一 | 情報科学研究科 | 助教 |
３．安心電子社会研究センター（TRUST）
| センター長 | 片山 卓也 | 北陸先端科学技術大学院大学・情報科学研究科 | |
| 特任助教授 | 青木 利晃 | 北陸先端科学技術大学院大学・安心電子社会研究センター | |
| 客員教員 | 岩井 淳 助教授 | 群馬大学・社会情報学部 | |
| 堀 雅和 助教授 | インテック・ウェブ・アンド・ゲノム・インフォマティックス（株） | ||
| 客員研究員 | 梅村 晃広 | （株）ＮＴＴデータ | 事務員 | 桜井 美幸 | 北陸先端科学技術大学院大学 |
| 氏名 | 採用年度 | 研究室 | |
| ポスドク | Nguyen, Minh Le | 平成１６年度 | 島津 |
| 鈴木 義崇 | 平成１６年度 | 東条 | |
| Kong, Weiqiang | 平成１８年度 | 二木 | |
| Kucera, Petr | 平成１８年度 | 平石 | |
| Li, Xin | 平成１９年度 | 小川 | |
| DE SAEGER, Stijn | 平成１９年度 | 東条 | |
| 山内 肇 | 平成１９年度 | 東条 | |
| 博士学生研究員 | 黄 明仁 | 平成１６年度 | 片山 |
| 黄 純芳 | 平成１６年度 | 赤木 | |
| FANG, Qiang | 平成１８年度 | 党 | |
| NGUYEN, Thai Phuong | 平成１７年度 | 島津 | |
| NGUYEN, Thanh Tri | 平成１７年度 | 島津 | |
| SUN, Wei | 平成１７年度 | 井口 | |
| VO, Hieu Dinh | 平成１８年度 | 落水 | |
| VU, Thang Tat | 平成１７年度 | 赤木 | |
| RYU, Jae-Kwan | 平成１７年度 | Chong | |
| GAINA, Daniel Mircea | 平成１８年度 | 二木 | |
| NGUYEN, Tien Lan | 平成１８年度 | 篠田 | |
| NGUYEN, Tang Van | 平成１８年度 | 小川 | |
| NGUYEN, Vinh Van | 平成１８年度 | 島津 | |
| PHAM, Hung Ngoc | 平成１８年度 | 片山 | |
| YANG, Yan | 平成１８年度 | Defago | |
| Do Ngoc Thi Bich | 平成１９年度 | 小川 | |
| Nguyen, Nam Hoai | 平成１９年度 | 篠田 | |
| Senachak, Jittisak | 平成１９年度 | Vestergaard | |
| 鈴木 智之 | 平成１９年度 | 片山 |
| 氏名 | 雇用期間 | 研究室 | |
| ポスドク | 松本 利雅 | 平成１６年度 | 小野 |
| 清野 貴博 | 平成１７年度 | 二木 | |
| 大橋 功治 | 平成１７−１８年度 | 金子 | |
| 矢竹 健朗 | 平成１８年度 | 片山 | |
| 博士学生研究員 | 牧野 義樹 | 平成１６年度 | 党 |
| Ben, Hassine Ahlem | 平成１６年度 | Ho | |
| QＵ, Wenyu | 平成１６−１７年度 | Ｓｈｅｎ | |
| TIAN, Hui | 平成１６−１７年度 | Ｓｈｅｎ | |
| Zhang, Yuanyuan | 平成１６−１８年度 | 井口 | |
| 梅田 梢 | 平成１６−１７年度 | 宮地 | |
| 小畑 貴之 | 平成１６−１７年度 | 金子 | |
| 白勢 政明 | 平成１６−１７年度 | 日比野 | |
| 寺田 剛陽 | 平成１６−１７年度 | 宮地 | |
| 中田 潤也 | 平成１６−１７年度 | 丹 | |
| 早稲田 篤志 | 平成１６−１７年度 | 宮地 | |
| XIONG, Naiｘue | 平成１７年度 | Defago | |
| 矢竹 健朗 | 平成１７年度 | 片山 | |
| CHEN, Fan | 平成１７−１８年度 | 小谷 | |
| CHEN,Yawen | 平成１７−１８年度 | Shen | |
| ZHANG, Haibo | 平成１７−１８年度 | Shen | |
| 林 信宏（リン シンコウ） | 平成１６−１８年度 | 片山 | |
| 錦戸 信和 | 平成１６−１８年度 | 党 |
II. 教育
本学情報科学研究科では，1990年の開学以来，明確なカリキュラムに基づく大学院教育を他大学に
先駆けて行ってきたが，本ＣＯＥ拠点形成計画においても，博士後期課程学生を対象にして，検証
技術や高信頼情報システム関連の講義科目群の整備を行ってきた．本年度も連携講座
（NTTデータ）による「電子社会システム論」を行ったほか，ＣＯＥ養成博士後期課程学生・ポスドク
研究成果発表会を平成２０年３月４日に実施した．
博士課程学生に関しては，本ＣＯＥ拠点形成計画担当教員指導のもとに，研究開発に参加する博士
学生研究員１０名とポスドク３名を育成中である（２０年３月末時点）．なお，初年度（平成１６年
度）より本プログラム研究員として採用された学生研究員から，以下の博士学位取得者を輩出して
いる．
| 年度 | 氏名 | 論文題目 | |
| 19 | Chen, Fan | Global and Local Manifold Learning for Image Feature Extraction in Facial Expression Recognition | |
| Senachak, Jittisak | Tools and Technologies in the CEq Emergence Assistant | ||
| Li, Guoqiang | On-the-fly Model Checking of Security Protocols | ||
| Nguyen, Thai Phuong | Tree-to-String Phrase-based Statistical Machine Translation | ||
| Nguyen, Tri Thanh | Study on Acquiring and Using Linguistic Semantic Information for Search Systems | ||
| Sun, Wei | A Study of Scheduling for Grid and Cluster Considering Time Response, Constraints and Fault Tolerance | ||
| Vu, Thang Tat | A Study on the Restoration of Bone-conducted Speech | ||
| Xiong, Naixue | Design and Analysis of Quality of Service on Distributed Fault-tolerant Communication Networks | ||
| 黄, 明仁 | 規則と責任モデリングを用いたソフトウェアの自動進化 | ||
| 18 | Zhang, Yuanyuan | グリッド・コンビューティグ環境における性能予測とアプリケーションスケジューリングに関する研究 | |
| 早稲田篤志 | 量子理論を用いた安全なプロトコルに関する研究 | ||
| 17 | Qu Wenyu | Analysis of Behaviors of Mobile Agents in Agent-Based Network Applications | |
| Tian, Hui | Network Topology Discovery and Its Applications | ||
| 梅田梢 | Privacy-Enhanced Group Signature Schemes with CRL-based Revocation | ||
| 白勢政明 | ３値論理による公開鍵暗号ハードウェアの研究 | ||
| 寺田剛陽 | サービス不能攻撃対策に関する研究 | ||
| 矢竹健朗 | 定理証明器ＨＯＬにおけるオブジェクト指向理論の構築 | ||
| Ben, Hassine Ahlem | Distributed Reinforcement of Local Consistency for General Constraint Network: An Investigation of Meeting Scheduling Problems |
III. 拠点形成
1. シンポジウム
| 2007/9/6 | JAIST-COE/AIST-CVS シンポジウム：形式検証技術―現状と安心電子社会への適用 | |
| 2007/9/7 | JAIST-COE シンポジウム：法令工学の可能性と展望 | |
| 2007/3/3-4 | JAIST 21世紀COEシンポジウム2008 「検証進化可能電子社会」 | |
| 2007/3/13 | 情報処理学会 第７０回全国大会記念イベント ワクワクＩＴ＠あきば ２００８ パネル討論「暮らしを守る！法令工学って何だろう？」 |
2. ワークショップ
| 2007/6/19 | First International Workshop on Juris-informatics(JURISIN 2007) | |
| 2007/9/26 - 27 | Japan-Vietnam Workshop on Software Engineering 2007 (JVSE'07) | |
| 2008/3/3 | JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (5th VERITE) |
3. COE 関連セミナー
・COEセミナー
| 2007/07/26 | COE セミナー : 科学プロセスの正確な定義と科学データの出所 | |
| 2007/07/26 | COE セミナー : ソフトウェアアカウンタビリティの定義と実現 | |
| 2007/12/11 | COE セミナー : The Calculus of Congruent Inductive Constructions | |
| 2007/12/11 | COE セミナー : Model Checking Networked Applications | |
| 2007/12/11 | COE セミナー : Combining Fault Injection with Unit Testing |
・情報科学研究科セミナー
| 2007/6/1 | 第1回 情報科学研究科セミナー : 匿名ネットワーク上の計算，クラスタに基づいた動的なセンサー網のアーキテクチャについて | |
| 2007/6/1 | 第1回 情報科学研究科セミナー : クラスタに基づいた動的なセンサー網のアーキテクチャについて | |
| 2007/6/29 | 第2回 情報科学研究科セミナー : 情報技術産業からみたビジネスと技術動向 | |
| 2007/09/10 | 第3回 情報科学研究科セミナー : 情報科学研究科セミナー : 組合せ最適化問題に対する高性能な局所探索法とメタ戦略アルゴリズム | |
| 2007/10/26 | 第5回 情報科学研究科セミナー : Webアプリケーションのセキュリティ | |
| 2007/11/8 | 第6回 情報科学研究科セミナー : Web情報分析の未来像と言語処理技術の現在 | |
| 2007/11/9 | 第7回 情報科学研究科セミナー : 人間を研究する道具としてのMRI | |
| 2007/11/15 | 第8回 情報科学研究科セミナー : 様々な声質の生成メカニズム | |
| 2007/11/26 | 第9回 情報科学研究科セミナー : 一階述語論理の定理証明： 原理からシステム開発まで | |
| 2007/11/29 | 第10回 情報科学研究科セミナー : コンピュータビジョンのディジタル幾何学的アプローチ ― 3次元点群の平面分割への一応用 − | |
| 2007/11/16 | 第12回 情報科学研究科セミナー : Applying Recreational Mathematics to Secure Multiparty Computation | |
| 2007/12/26 | 第13回 情報科学研究科セミナー : 3-D Heterogeneous Sensor System on a Chip (HSoC):Architecture and Algorithms | |
| 2008/1/25 | 第14回 情報科学研究科セミナー : ＪＪＲＥＸ合同シンポジウム | |
| 2008/2/21 | 第15回 情報科学研究科セミナー : 情報技術の役割を考える | |
| 2008/3/11 | 第16回 情報科学研究科セミナー : 東芝ホームITシステム「フェミニティシリーズ」最新状況と広がり |
・ AL（Algorithm & Logic）セミナー
| 2007/9/14 | 第117回 AL セミナー : Polynomial-size Frege proofs of Bollob\'as' theorem on the trace of sets | |
| 2007/11/29 | 第118回 AL セミナー : Completion and finite embeddability property for residuated ordered algebras |
４．研究内容
本拠点の研究内容は、電子社会の社会規則面および情報システム面の両面について，安心性
要件（正当性，アカウンタビリティ，セキュリティ，進化性，耐故障性）を解析・検証できる理論と技術
を開発することである．
社会規則面に関しては，（１）電子社会が法令によって規定されていることに鑑み，法令文書の
整合性や完全性の検証・解析に関する「法令工学」を世界に先駆けて提案している．今年度は、
法令工学の理論的展開および具体的事例への適用を行い，成果をキャンパス・イノベーションセン
ター東京において開催されたCOEシンポジウム「法令工学の可能性と展望」（平成１９年９月），
および，情報処理学会 第７０回全国大会記念イベントワクワクＩＴ＠あきば２００８にお
けるパネル討論「暮らしを守る！法令工学って何だろう？」（平成20年3月）において公開
した．さらに，書籍COE Research Monograph Series Vol.2 「法令工学の提案」，Vol.3 「オ
ントロジーを用いた法的知識からの不整合の検出」（JAIST Press）を出版した．
情報システムの側面からは，（２）電子社会システムが法令などによって定められる性質を満たす
ことを検証する「電子社会システムの安心性形式検証」を形式ドメインモデリングに沿って行う研究，
および，（３）情報システムの安心性の解析・検証のために，インターネットシミュレーションやセキュ
リティ機構の面から行う安心基盤技術の研究を継続した．
 |
 |
|
| COEシンポジウム「法令工学の可能性と展望」 | パネル討論「暮らしを守る！法令工学って何だろう？」 | |
| (H19.9.7 キャンパス・イノベーションセンター東京) | (H20.3.13 秋葉原コンベンションホール) |
５．その他
シンポジウム、ワークショップなどを多数開催すると同時に，国内外連携機関との共同研
究，研究ミーティングを行った．
IV. 研究成果
１． 概要
以下の研究課題について成果を上げ，添付の論文発表(ジャーナル，査読つき国際会議）を行
った．
（１）電子社会のための法令文書論理表現と推論グループ：法令文書のための推論技術と言
語処理技術，および，法令文書の論理式への変換技術を中心に研究を行った．また，本COE
のメンバーが中心となり，法令工学に関する国際ワークショップFirst International
Workshop on Juris-informatics (JURISIN2007)を平成19年6月に開催した．
（２）電子社会のための形式推論機構グループ：部分構造論理の代数構造，セキュリティプ
ロトコルの形式検証について研究を行った．
（３）電子社会のための形式検証技術グループ：ワークフローの形式検証，コンポーネント
ベースソフトウェアの形式検証，電子政府における形式手法の適用，ハイブリッドシステム
の形式検証と情報システムの性能評価への応用等について研究を行った．
（４）電子社会のためのモデル化技術グループ：ソフトウェアアカウンタビリティの実装技
術，著作権管理のためのドメインオントロジー構築手法，カリキュラム進化モデルに基づく
コースコンサルティングシステム等について研究を行った．
（５）電子社会のための安心基盤技術グループ：計算幾何に基づく指紋認証技術，ネットワ
ーク実験支援ソフトウェア，暗号技術，音声認識・合成技術，ユビキタスネットワークのシ
ミュレータ，高信頼VLSI設計手法，システムの耐故障性技術等について研究を行った．
２． 発表論文
（1） 電子社会のための法令文書論理表現と推論
学術論文
Cuong Anh Le, Van-Nam Huynh, Akira Shimazu, and Yoshiteru Nakamori, “Combining
Classifiers for Word Sense Disambiguation based on Dempster-Shafer theory and OWA
operators,” Data & Knowledge Engineering, 63, pp.381-396, ELSEVIER, 2007.
Thai Phuong Nguyen and Akira Shimazu, “Improving phrase-based statistical machine
translation with morphosyntactic transformation,” Machine Translation, Vol. 20, No. 3,
pp.147-166, 2007.
Tri-Thanh Nguyen, Akira Shimazu, “Automatic Extraction of the Fine Category of Person
Named Entities from Text Corpora,” IEICE Trans. Inf. & Syst., Vol.E90-D, No.10,
pp.1542-1549, October, 2007.
Thai Phuong Nguyen, Akira Shimazu, Minh Le Nguyen and Vinh Van Nguyen, “A Syntactic
Transformation Model for Statistical Machine Translation,” International Journal of
Computer Processing of Oriental Languages, Vol. 20, No. 2 & 3, pp.79-99, June &
September 2007.
兼岩 憲，東条 敏, “法的推論のための論理型イベント言語,” 情報処理学会論文誌，Vol.48,
No.12, pp.3996-4011, 2007.
M. Hamanaka, K. Hirata, and S. Tojo, “Implementing A Generative Theory of Tonal Music,”
Journal of New Music Research, vol.35, no.4, pp.249-277, 2007.
N. N. Tun and S. Tojo, “EnOntoModel: A Semantically-enriched Model for Ontologies,”
International Journal of Intelligent Information Technologies, vol.4, issue 1, pp.1-44,
Oakland University,2007.
浜中雅俊，平田圭二，東条 敏, “音楽理論GTTMに基づくグルーピング構造獲得システム,”
情報処理学会論文誌, vol.48, No.1, 2007.
国際会議
Takuya Katayama, “(Invited Talk) Legal Engineering - An Engineering Approach to Laws
in e-Society Age,” International Workshop on Juris-informatics (JURISIN), pp.1-5, 2007.
Makoto Nakamura, Shunsuke Nobuoka, and Akira Shimazu, “Towards Translation of Legal
Sentences into Logical Forms,” Proceedings of the First International Workshop on
Juris-informatics (JURISIN 2007), pp. 6-17, Miyazaki, 2007.6.
Makoto Nakamura, Shunsuke Nobuoka1 and Akira, “Towards Translation of Legal Sentences
into Logical Forms,” New Frontiers in Artificial Intelligence, Volume 4914/2008,
pp.349-362, Springer Berlin / Heidelberg, 2008.
Vinh Van Nguyen, Minh Le Nguyen and Akira Shimazu, “Using Conditional Random Fields
for Clause Splitting,” Proceedings of the 10th Conference of the Pacific Association
for Computational Linguistics, pp.58-65, University of Melbourne Australia, September
19-21, 2007.
Tri-Thanh Nguyen, Akira Shimazu, “Aquisition of Named-Entity-Related Relations for
Searching,” Proceedings of the 21st Pacific Asia Conference on Language, Information a
nd Computation, pp.349-357, Seoul, October, 2007.
S. De Saeger, M. Kobayashi, and S. Tojo, “History based Belief Updates for Communicative
Agents,” FAMAS 2007.
M. Hamanaka, K. Hirata, S. Tojo, “Implementing GTTM on a Computer,” ISMIR 2007. (poster).
M. Hamanaka, K. Hirata, S. Tojo, “FATTA: Full Automatic Time-span Tree Analyzer,”
ICMC 2007, pp.153-156, 2007.
S. Tojo and K. Satoh, “Occam's Razor by Minimal Negation,” Jurisin pp.41-51, 2007.
K. Satoh, S. Tojo, and Y. Suzuki, “Formalizing a switch of burden of proof by logic
programming,” Jurisin pp.76-85, 2007.
T. Koga and S. Tojo, “Tense and Aspect in Polymodal Interval Temporal Logic,”
IWCS-07, 2007.
Y. Oka, M. Hamanaka, K. Hirata and S. Tojo, “Optimal Parameter Set Acquisition for
exGTTM,” Music-AI '07 -IJCAI'07 workshop, pp.95-106, 2007.
M. Nakamura, T. Hashimoto, and S. Tojo, “Simulation of Common Language Acquisition by
Evolutionary Dyanamics,” Evolutionary Models of Collaboration (EMC'07) -IJCAI'07
workshop, 2007.
国内会議, その他
島津 明, “法令文書の言語処理,” 片山卓也(編)「法令工学の提案」, pp.21-50,
JAIST Press, 2007.
島津 明, “法令文書の言語解析,” JAIST-COEシンポジウム: 法令工学の可能性と展望, 2007.9.
島津 明, “法令文書の言語処理,” 暮らしを守る「法令工学って何だろう？」パネルセッション,
ワクワク@アキバ2008, 2008.3.
中川晋一, 内山将夫, 三角 真, 島津 明, 酒井善則, “がん用語集合の作成とその特性,”
pp.147-150, 2008. (東大)
小林良輔, 中村 誠, 島津 明., “修辞構造に基づく法令文の解析,” pp.608-611, 2008. (東大)
木村祐介, 中村 誠, 島津 明, “号の列挙や参照表現をもつ法令文の論理式への変換,”
pp.612-615, 2008. (東大)
東条 敏, “素性から組み上げられる文の論理構造,” 人工知能学会誌vol.22, 2007.
S. Tojo, K. Hirata, and M. Hamanaka, “Implementing GTTM,” Tutorial in ISMIR 2007.
Satoshi Tojo, “How Belief Modality Has Contributed to Formal Semantics,” Plenary
Talk in In PACLIC 2007.
（２）電子社会のための形式推論機構
学術論文
N. Galatos, P. Jipsen, T. Kowalski and H. Ono, “Residuated Lattices: an algebraic
glimpse at substructural logics,” Studies in Logic and the Foundations of Mathematics,
vol.151, Elsevier, p.532 2007.
Guoqiang Li, Mizuhito Ogawa, “On-the-fly Model Checking of Security Protocols and
Its Implementation,” IPSJ Transactions on Programming, Vol.48, No.SIG 10(PRO33),
pp.50-75, 2007.
(also available at Information and Media Technologies, Vol.2, No.3, pp.937-962, 2007.)
国際会議
H. Ono, “(基調講演) An algebraic approach to substructural logics, Workshop on
Interval/Probabilistic Uncertainty and Non-classical Logics,” JAIST, 2008.3
H. Ono, “Interplay between algebra and logic,” International Conference on Order,
Algebra and Logics (チュートリアル), Vanderbilt University, Nashville, USA, 2007.6.
Guoqiang Li, Mizuhito Ogawa, “On-the-fly Model Checking of Fair Non-repudiation
Protocols,” Proceedings of the 5th International Symposium on Automated Technology
for Verification and Analysis, ATVA07, Springer LNCS 4762, pp.511-522, 2007.
Jittisak Senachak, Mun'delanji Vestergaard, Rene Vestergaard, “Cascaded Games,”
LNCS 4545, Springer, Proceedings of the 2nd International Conference on Algebraic
Biology (AB 2007), 2007.
Michael Norrish, Rene Vestergaard, “Proof Pearl: de Bruijn terms really do work,”
LNCS 4732, Springer, Proceedings of 20th International Conference on Theorem Proving
in Higher Order Logics (TPHOLs 2007), 2007.
（３）電子社会のための形式検証技術
学術論文
Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi, “Specification and Verification of
Workflows with RBAC Mechanism and SoD Constraints,” International Journal of Software
Engineering and Knowledge Engineering, 17(1): 3-32, World Scientific, 2007.
Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi, “Creme: An
Automatic Invariant Prover of Behavioral Specifications,” International Journal of
Software Engineering and Knowledge Engineering, Vol.17, No.6, pp.783-804, World
Scientific, 2007.
Kazuhiro Ogata and Kokichi Futatsugi, “Modeling and verification of real-time systems
based on equations,” Science of Computer Programming, 66(2): 162-180, Elsevier, 2007.
Kazuhiro Ogata and Kokichi Futatsugi, “Comparison of Maude and SAL by Conducting Case
Studies Model Checking a Distributed Algorithm,” IEICE TRANSACTIONS on Fundamental of
Electronics, Communications and Computer Science, E90-A(8): 1690-1703, 2007.
Kazuhiro Ogata and Kokichi Futatsugi, “State Machines as Inductive Types,” IEICE Trans.
Fundamental of Electronics, Communications and Computer Science, E90-A(12): 2985-2988,
IEICE, 2007.
国際会議
Toshiaki Aoki and Takuya Katayama, “Statechart-based Verification of Object-Oriented
Design Models,” 14th Asia-Pacific Software Engineering Conference, pp.278-285, 2007.
P. N. Hung, N. T. Thang, T. Katayama, “An Assume-Guarantee Method for Modular
Verification of Evolving Component-Based Software,” In Supplemental Proceedings of
the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
(DSN 2007), Workshop on Architecting Dependable Systems (WADS), pages 160-165, 2007.
P. N. Hung and T. Katayama, “Adaptive Modular Model Checking for Evolving Component-Based
Software,” In the Proceeding of JVSE’07 Workshop, 2007.
Petr Kucera and Kunihiko Hiraishi, “Application of DES Theory to Verification of
Software Components,” Proc. SICE Annual Conference 2007, pp.527-532, Takamatsu, 2007. 9.
Kunihiko Hiraishi, “Performance Evaluation of Workflows Using Fluid Flow Approximation
of Discrete Sets and Probability Distributions,” Proc. IECON'07, pp.88-93, Taipei,
2007.11.
Xiaoyi Chen, Jianwen Xiang, Weiqiang Kong and Kokichi Futatsugi, “Formalization and
Analysis of Public Administration Domain with the OTS/CafeOBJ Method,” Proceedings of
3rd International Conference on e-Government (ICEG 2007), ISBN: 1-905305-59-1, ACL, pp.
77-86, Sept., 2007.
Xiaoyi Chen, Jianwen Xiang, Dines Bjorner and Kokichi Futatsugi, “A License Language
Design and Analysis for E-Government,” Proceedings of International Conference on
Wireless Communications, Networking and Mobile Computing (WiCom 2007), ISBN:
1-4244-1312-5, IEEE, pp.3445-3448, Sept., 2007.
Xiaoyi Chen, Weiqiang Kong and Kokichi Futatsugi, “Formal support for e-government
system design with transparency consideration,” Proceedings of the 1st International
Conference on Theory and Practice of Electronic Governance (ICEGOV 2007), ACM, pp. 20-29,
2007.
Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi, “Algebraic Approaches to Formal
Analysis of the Mondex Electronic Purse System,” Proceedings of the 6th International
Conference on Integrated Formal Methods (6th IFM), LNCS 4591, Springer, pp.393-412, 2007.
Masaki Nakamura and Kokichi Futatsugi, “On equality predicates in algebraic specification
languages,” Proceedings of the 4th International Colloquium on Theoretical Aspects of
Computing (ICTAC 2007), Lecture Notes in Computer Science 4711, 2007.
Kazuhiro Ogata and Kokichi Futatsugi, “Simulation-based verification for invariant
properties in the OTS/CafeOBJ method,” Proceedings of the 4th International Refinement
Workshop (Refine 2007), ENTCS 201, Elsevier, pp.127-154, 2008.
Jianwen Xiang, Dines Bjorner, and Kokichi Futatsugi, Formal Digital License Language with
OTS/CafeOBJ Method, Proc. of The sixth ACS/IEEE International Conference on Computer
Systems and Applications, (AICCSA-08), IEEE Computer Society, 2008.
国内会議, その他
青木利晃，関口正，平山雅之，岸知二, “マルチタスクソフトウェアにおけるタスク間状態不一致
問題の検出と解析,” 情報処理学会 組込みシステム研究会 組込みシステムシンポジウム2007,
pp.102-110, 2007．
青木利晃, “モデル検査によるリアルタイムオペレーティングシステムの検証実験,” 情報処理学会
全国大会, pp.5-317-318, 2008.
Jianwen Xiang, Kazuhiro Ogata, and Kokichi Futatsugi, “Analysis of Membership Sharing
in Digital Subscription Services,” JAIST Technical Memorandum, IS-TM-2007-005, 2007.
Petr Kucera and Kunihiko Hiraishi, “Software Component Verification for Infinite State
Models by means of Assumption Generation,” 計測自動制御学会第41回離散事象システム研究会,
pp.7-12 (沖縄, 2007/6/28-29).
小林孝一, Nguyen Van Tang, 平石邦彦, “ハイブリッドシステムのモデル予測制御問題に対する
事前計算に基づく近似解法,” 計測自動制御学会システム・情報部門学術講演会 2007
pp. 433-438 (東京, 2007/11/26-28).
Weiqiang Kong, Kazuhiro Ogata, and Kokichi Futatsugi, “Algebraic Approaches to Formal
Analysis of the Mondex Electronic Purse System,” Research Report, IS-RR-2007-004,
JAIST, March 2007.
有本泰仁，二木厚吉, “ドメインの形式記述と検証,” 電子情報通信学会研究報告, SS2007-15,
pp.35-40, 2007.
二木厚吉，緒方和博，有本泰仁, “法令対象ドメインの形式記述と検証,” 片山卓也編
「法令工学の提案」, JAIST Press, 第４章, pp.71-93, 2007.
中村正樹, 二木厚吉, “実行可能な代数仕様の停止性証明について,” 情報科学技術レターズ
(FIT2007)，pp.27-30, 2007.9.
（４）電子社会のためのモデル化技術
学術論文
Kazuhisa Seta and Mitsuru Ikeda, “Reification Method to Encourage the Learning
Communication on Meta-Cognition,” Lecture Notes in Artificial Intelligence,
(LNAI No. 4694), pp. 786-795, Springer, 2007
Kazuhisa Seta, Hiroki Satake, Motohide Umano and Mitsuru Ikeda, “Learning Phase Model
Based Scaffolding and its Fading to Facilitate Collaborative Learning of Critical
Thinking,” Lecture Notes in Artificial Intelligence, Springer (LNAI No. 4694),
pp. 590-599, Springer, 2007.
Wenhuan Lu and Mitsuru Ikeda, “A Uniform Conceptual Model for Knowledge Management of
International Copyright Law,” Journal of Information Science, Vol.34 (1), pp.93-109,
Sage press, Feb.2008.
国際会議
W.Lu, M.Ikeda, K.Ochimizu, “A Conceptual Model Makes Curriculum Evolution in Higher
Education Smooth,” Proc. of Intenational Conf. on Computer in Education 2007.
K.Ochimizu, “(Invited talk) Definition and Realization of Software Accountability,”
Proc. of JVSE2007.
Hieu Vo and Masato Suzuki, “An Approach for Specifying Role-Based Access Control in
EJB Applications,” Proceedings of the 2nd International Conference on Advances in
Information Technology (IAIT2007), 2007.
Hieu Vo and Masato Suzuki, “An Approach for Specifying Access Control Policy in J2EE
Applications,” Proceedings of 14th Asia-Pacific Software Engineering Conference
(APSEC2007), 2007.
Kazuhisa Seta, Tomoya Okazawa, Motohide Umano and Mitsuru Ikeda, “Ontology Based
Organizational Risk Knowledge Creation Support Based on Incident Reports,” International
Conference on Systems, CD-ROM Proc., 2007.
Taisuke Ogawa, Yukari Nagai, Mitsuru Ikeda, “An Ontological Engineering Approach to
Externalize Designers Communication Style in Support of Artistic-idea Sharing,”
International Association of Societies of Design Research 2007, CD-ROM Proc.,2007
Wenhuan Lu, Mitsuru Ikeda, Koichiro Ochimizu and Shintaro Kitayama, “A Conceptual Model
Makes Curriculum Evolution in Higher Education Smooth,” Proc. of The 15th International
Conference on Computers in Education, pp.89-96, IOS Press, Nov. 2007.
Wenhuan Lu and Mitsuru Ikeda, “Constructing a Domain Ontology for International Copyright
Knowledge Management,” Proc. of The 2nd International Conference on Knowledge,
Information and Creativity Support Systems, pp.1-8, Nov. 2007.
Wenhuan Lu and Mitsuru Ikeda, “Capturing a Conceptual Model for Intercultural
Collaboration in Copyright Management,” Proc. of International Workshop on Intercultural
Collaboration, LNCS, Vol.4568, pp. 61-75, Springer-Verlag, Jan. 2007
国内会議, その他
早坂, 秋山, 杉森, 北山, 鈴木, 落水, “履修管理システムにおけるソフトウェアアカウンタ
ビリティ機能の実現法,” 電子情報通信学会ソフトウェアサイエンス研究会 ss2007-14, pp.29-34,
2007.
北山, 路, 池田, 落水, “カリキュラム進化モデルに基づくコースコンサルティングシステムの
提案,” 人工知能学会全国大会, 2007.
小谷, 落, “UML図面の変更波及解析ツール,” 電子情報通信学会ソフトウェアサイエンス研究会
ss2007-7, pp.35-39, 2007.
（５）電子社会のための安心基盤技術
学術論文
Xuefeng Liang, Arijit Bishnu and Tetsuo Asano, “A Robust Fingerprint Indexing Scheme
Using Minutia Neighborhood Structure and Low-order Delaunay Triangles,” IEEE Transactions
on Information Forensics and Security, Volume 2, No. 4, pp.721-733, December 2007.
T. Asano, “Aspect-Ratio Voronoi Diagram and Its Complexity Bounds”, Information
Processing Letters, volume 105, Issue 1, 31, pp 26-31, December 2007.
X. Liang, A. Bishunu and T. Asano, “Combinatorial Approach to Fingerprint Binarization
and Minutiae Extraction Using Euclidean Distance Transform,” International Journal of
Pattern Recognition and Artificial Intelligence, vol. 27, no. 7, pp.1141 ? 1158, Nov.,
2007.
T. Asano, J. Matousek, and T. Tokuyama, “The distance trisector curve,” Advances in
Mathematics, Vol.212, Issue 1, pp.338-360, 2007.
Nguyen B. P. and Akagi M., “Spectral Modification for Voice Gender Conversion using
Temporal Decomposition,” Journal of Signal Processing, 11, 4, 333-336, 2007.
Nguyen, P. C., Akagi, M., and Nguyen, P. B., “Limited error based event localizing
temporal decomposition and its application to variable-rate speech coding,” Speech
Communication, 49, 292-304, 2007.
宮地利幸, 三輪信介, 知念賢一, 篠田陽一, “ネットワーク実験支援ソフトウェアの汎用アーキ
テクチャの提案,” 情報処理学会論文誌, 第48巻, 第4号, pp.1695-1709, 情報処理学会, 2007.4.
早稲田 篤志, 双紙 正和, 宮地 充子, “量子複数秘密分散に関する考察,” 情報処理学会論文誌，
第48巻7号, pp.2447-2464, 2007.7.
A. Miyaji, “Ancestor Excludable Hierarchical ID-based Encryption and Its Application to
Broadcast Encryption,” IPSJ Trans, vol. 48, No.9, pp.2999-3013, 2007.
T. Hinoue, A. Miyaji, and T. Wada, “The security of RC6 against asymmetric chi-square
test attack,” IPSJ Trans, vol. 48, No.9(2007), 2966-2975, 2007.
Khin Thida Latt, Mineo Kaneko, Yoichi Shinoda, “Parallel Computation of Data Summation
for Multiple Problem Spaces on Partitioned Optical Passive Stars Network,” International
Journal of Electronics, Circuits and Systems, Vol.1, No.2, pp.110-115, June 2007.
Rami Yared, Xavier Defago, Julien Iguchi-Cartigny and Matthias Wiesmann, “Collision
prevention platform for a dynamic group of asynchronous cooperative mobile robots,”
Journal of Networks, 2(4):28-39, August 2007.
Wei Sun, Chen Yu, Xavier Defago, Yasushi Inoguchi, “Dynamic Scheduling Real-Time Task
Using Primary-Backup Overloading Strategy for Multiprocessor Systems,” IEICE Transactions
91-D(3): pp.796-806, January 2008.
Dongwen Ying, Yu Shi, Xugang Lu, Jianwu Dang, and Frank Soong, “Robust Voice Activity
Detection based on Noise Eigenspace,” to appear, Acoustics of Science and Technology
Dec. 2007.
国際会議
T. Asano, “Constant-Working-Space Image Scan with a Given Angle,” Proc. 24th European
Workshop on Computational Geometry, March 18-20, pp. 165−168, 2008, Nancy, France.
T. Asano, “Online Uniformity of Integer Points on a Line,” Proc. 24th European Workshop
on Computational Geometry, March 18-20, pp. 99-102, 2008, Nancy, France.
Boris Aronov, Tetsuo Asano and Stefan Funke, “Optimal Triangulation with Steiner
Points,” Proc. ISAAC 2007, Sendai, pp. 681-691, Dec. 2007.
Tetsuo Asano, Shinnya Bitou, Mitsuo Motoki and Nobuaki Usui, “In-Place Algorithm
for Image Rotation,” Proc. ISAAC 2007, Sendai, pp. 704-715, Dec. 2007.
T. Asano and S. Teramoto, “On-line uniformity of points”, Book of Abstracts for 8th
Hellenic-European Conference on Computer Mathematics and its Applications, pp. 21-22,
Athens, Greece, September, 2007.
T. Asano, P. Bose, P. Carmi, A. Maheshwari, C. Shu, M. Smid, and S. Wuhrer,
“Linear-Space Algorithms for Distance Preserving Embedding”, Canadian Conference
on Computational Geometry, pp.185-188, August, 2007.
T. Asano, N. Katoh, H. Tamaki, and T. Tokuyama, “Voronoi Diagram with Respect to
Criteria on Vision Information”, Proc. the 4th International Symposium on Voronoi
Diagrams in Science and Engineering, pp. 25-32, Pontypridd, Wales, UK, July 2007.
Akagi, M., Saitou, T., and Huang, C-F., “Voice conversion to add non-linguistic
information into speaking voices," Proc. JCA2007, CD-ROM, 2007.
Haniu, A., Unoki, M. and Akagi, M., “A study on a speech recognition method based
on the selective sound segregation in noisy environment," Proc. JCA2007, CD-ROM, 2007.
Huang, C-H. and Akagi, M., “The building and verification of a three-layered model
for expressive speech perception,” Proc. JCA2007, CD-ROM, 2007.
Sawamura K., Dang J., Akagi M., Erickson D., Li, A., Sakuraba, K., Minematsu, N., and
Hirose, K., “Common factors in emotion perception among different cultures” Proc.
ICPhS2007, pp.2113-2116, 2007.
Nguyen B. P. and Akagi M., “A flexible spectral modification method based on temporal
decomposition and Gaussian mixture model,” Proc. Interspeech2007, pp.538-541, 2007.
Huang, C. F. and Akagi, M., “A rule-based speech morphing for verifying an expressive
speech perception model,” Proc. Interspeech2007, pp.2661-2664, 2007.
Li, J., Sakamoto, S., Hongo, S., Akagi, M., and Suzuki, Y., “Noise reduction based on
adaptive β-order generalized spectral subtraction for speech enhancement," Proc.
Interspeech2007, pp.802-805, 2007.
Saitou, T., Goto, M., Unoki, M., and Akagi, M., “Vocal conversion from speaking voice
to singing voice using STRAIGHT,” Proc. Interspeech2007, Singing Challenge, 2007.
Vu, T. T., Seide, G., Unoki, M., and Akagi, M., “Method of LP-based blind restoration
for improving intelligibility of bone-conducted speech,” Proc. Interspeech2007,
pp.966-969, 2007.
Haniu, A., Unoki, M. and Akagi, M., “A study on a speech recognition method based on the
selective sound segregation in various noisy environments,” Proc. NOLTA2007, Vancouver,
pp.445-448., 2007.
Vu, T. T., Unoki, M., and Akagi, M., “A blind restoration model for bone-conducted speech
based on a linear prediction scheme,” Proc. NOLTA2007, Vancouver, pp.449-452, 2007.
Uchiyama, H., Unoki, M., and Akagi, M., “Improvement in detectability of alarm signals
in noisy environments by utilizing spatial cues,” Proc. WASPAA2007, New Paltz, NY,
pp.74-77, 2007.
Saitou, T., Goto, M., Unoki, M., and Akagi, M., “Speech-to-singing synthesis: converting
speaking voices to singing voices by controlling acoustic features unique to singing voices,”
Proc. WASPAA2007, New Paltz, NY, pp.215-218, 2007.
Vu, T. T. Unoki, M. and Akagi, M., “The Construction of Large-scale Bone-conducted and
Air-conducted Speech Databases for Speech Intelligibility Tests,” Proc. Oriental
COCOSDA2007, pp.88-91, 2007.
Kusaba, M., Unoki, M., and Akagi, M., “A study on detectability of target signal in
background noise by utilizing similarity of temporal envelopes in auditory search," Proc.
NCSP08, 13-16, 2008.3.
Haniu, A., Unoki, M., and Akagi, M., “A speech recognition method based on the selective
sound segregation in various noisy environments,” Proc. NCSP08, pp.168-171, 2008.3.
Tezuka, T. and Akagi, M., “Influence of spectrum envelope on phoneme perception,” Proc.
NCSP08, 176-179, 2008.3.
Shibata, T. and Akagi, M., “A study on voice conversion method for synthesizing stimuli
to perform gender perception experiments of speech,” Proc. NCSP08, pp.180-183, 2008.3.
Nguyen B. P. and Akagi M., “Control of spectral dynamics using temporal decomposition in
voice conversion and concatenative speech synthesis,” Proc. NCSP08, pp.279-282, 2008.3.
Vu, T. T., Unoki, M., and Akagi, M., “A study of blind model for restoring bone-conducted
speech based on liner prediction scheme,” Proc. NCSP08, pp.287-290, 2008.3.
Tomoike, S. and Akagi, M., “Estimation of local peaks based on particle filter in adverse
environments,” Proc. NCSP08, pp.391-394, 2008.3.
L. T. Nguyen, R. Beuran, Y. Shinoda, “Performance Analysis of IEEE 802.11 in Multi-hop
Wireless Networks,” 3rd International Conference on Mobile Ad-hoc and Sensor Networks
(MSN 2007), Springer-Verlag LNCS 4864, Beijing, China, December 12-14, 2007, pp. 326-337.
Saber Zrelli and Yoichi Shinoda, “Experimental Evaluation of EAP performance in roaming
scenarios,” The 3rd Asian Internet Engineering Conference [AINTEC 2007], 27-29 November
2007, Phuket, Thailand.
Takashi Okada, Junya Nakata, Razvan Beuran, Yasuo Tan, Yoichi Shinoda, “Motion Planning
of Autonomous Robots,” International Symposium on Ubiquitous Computing Systems (UCS2007),
Akihabara, Japan, Nov 25-28, 2007.
Takashi Okada, Razvan Beuran, Junya Nakata, Yasuo Tan, Yoichi Shinoda, “Collaborative
Motion Planning of Autonomous Robots,” The 3rd International Conference on Collaborative
Computing: Networking, Applications and Worksharing (CollaborateCom2007), New York, USA,
Nov 12-15, 2007.
Shinsuke MIWA, Toshiyuki MIYACHI, Masashi ETO, Masashi YOSHIZUMI, Yoichi SHINODA, “Design
Issues of an Isolated Sandbox used to Analyze Malwares,” In proceedings of Second
International Workshop on Security(IWSEC2007), LNCS 4752 Advances in Information and
ComputerSecurity, ISBN 978-3-540-75650-7, pp.13-27, 2007.10.
Shinsuke MIWA, Toshiyuki MIYACHI, Masashi ETO, Masashi YOSHIZUMI, Yoichi SHINODA,
“Design and Implementation of an Isolated Sandbox with Mimetic Internet used to Analyze
Malwares,” DETER07, 2007.8.
Yuuki Takano, Tomoya Inoue, Hiroshi Nakai, Yoichi Shinoda, “Virtualization of
Decentralized IP Networks using Structured P2P Network,” IEEE First International
Global Information Infrastructure Symposium 2007 Poster Proceedings pp. 17-18, 2007.7.
R. Beuran, J. Nakata, T. Okada, T. Miyachi, K. Chinen, Y. Tan, Y. Shinoda, “Performance
Assessment of Ubiquitous Networked Systems", 5th International Conference on Smart Homes
and Health Telematics (ICOST2007), pp. 19-26 (CD proccedings), Nara, Japan, June 21-23,
2007.
J. Nakata, R. Beuran, T. Miyachi, K. Chinen, S. Uda, K. Masui, Y. Tan, Y. Shinoda,
“StarBED2: Testbed for Networked Sensing Systems,” 4th International Conference on
Networked Sensing Systems (INSS07), Braunschweig, Germany, June 6-8, 2007, pp. 142-145.
K.T. Latt, M. Kaneko, Y. Shinoda, “Parallel Computation of Data Summation for Multiple
Problem Spaces on Partitioned Optical Passive Stars Network,” XXI. International
Conference on Computer, Information, and Systems Science, and Engineering(PDCS 2007),
25-27 May 2007, Vienna, Austria.
R. Beuran, L. T. Nguyen, K. T. Latt, J. Nakata, Y. Shinoda, “QOMET: A Versatile WLAN
Emulator,” IEEE International Conference on Advanced Information Networking and
Applications (AINA-07), pp. 348-353 , Niagara Falls, Ontario, Canada, May 21-23, 2007.
J. Nakata, T. Miyachi, R. Beuran, K. Chinen, S. Uda, K. Masui, Y. Tan, Y. Shinoda,
“StarBED2: Large-scale, Realistic and Real-time Testbed for Ubiquitous Networks,”
TridentCom 2007, Orlando, Florida, U.S.A., May 21-23, 2007.
Saber Zrelli and Yoichi Shinoda, “Specifying Kerberos over EAP: "Towards an integrated
network access and Kerberos single sign-on process,” The IEEE 21st International
Conference on Advanced Information Networking and Applications [AINA 2007], 21-23
May 2007, Niagara Falls, Ontario, Canada.
Saber Zrelli, Tunc Medeni, Tolga Medeni and Yoichi Shinoda, “Improving Kerberos Security
System for Cross-Realm Collaborative Interactions: An Innovative Example of Knowledge
Technology for Evolving and Verifiable E-Society,” The 5th International Conference on
Research Innovation and Vision for the Future [RIVF 2007], 5-9 March 2007, Hanoi, Vietnam.
A. Miyaji, “Generalized MMM-algorithm Secure against SPA, DPA, and RPA,” ICISC 2007,
Lecture Notes in Computer Science, 4817, Springer-Verlag, pp.282-296, 2007
W. Hasegawa, M. Soshi, A. Miyaji. “Mobile Agent Security with Efficient Oblivious
Transfer In International Conference on Security and Cryptography,” SECRYPT 2007,
pp.299-304, July 2007.
Khin Thida Latt, Mineo Kaneko, Yoichi Shinoda, “Parallel Computation of Data Summation
for Multiple Problem Spaces on Partitioned Optical Passive Stars Network,” International
Conference on Parallel and Distributed Computing Systems, May 2007.
Yuuki Yano, Mineo Kaneko, “Solution Space Reduction of Sequence Pairs using Model
Placement,” Proceedings of Midwest Symposium on Circuits and Systems 2007, pp.1130-1133,
August 2007.
Keisuke Inoue, Mineo Kaneko, Tsuyoshi Iwagaki, “Structural Robustness of Datapaths
against Delay-Variations,” Proceedings of the 14th Workshop on Synthesis and System
Integration of Mixed Information technology, pp.272-279, October 2007.
Tsuyoshi Iwagaki, Satoshi Ohtake, Mineo Kaneko, Hideo Fujiwara, “Efficient Path Delay
Test Generation Based on Stuck-at Test Generation Using Checker Circuitry,” Proc.
IEEE/ACM International Conference on Computer-Aided Design, pp.418-423, November 2007.
Wei Sun, Yuanyuan Zhang, Yu Chen, Xavier Defago and Yasushi Inoguchi, “Hybrid overloading
and stochastic analysis for redundant real-time multiprocessor systems,” In Proc. 26th
Intl. Symp. on Reliable Distributed Systems (SRDS'07), pp,265-274, Beijing, China, October
2007. IEEE.
Wei Sun, Yu Chen, Yuanyuan Zhang, Xavier Defago and Yasushi Inoguchi, “Real-time Task
Scheduling Using Extended Overloading Technique for Multiprocessor Systems,” Proc. 11th
IEEE Intl. Symp. Distributed Simulation and Real Time Applications(DSRT), pp.95-102,
October 2007.
Masafumi Yamashita, Samia Souissi and Xavier Defago, “Gathering two stateless mobile
robots using very inaccurate compasses in finite time,” In Proc. 1st Intl. Conf. on Robot
Communication and Coordination (ROBOCOMM 2007), Athens, Greece, October 2007.
Geunho Lee, Nak Young Chong and Xavier Defago, “Robust self-deployment for a swarm of
autonomous mobile robots with limited visibility range,” In Proc. 16th Intl. Symp. on
Robot and Human Interactive Commmunication (ROMAN'07), pp.925-930, IEEE, August 2007.
Matthias Wiesmann and Xavier Defago, “Anonymous stabilizing leader election using a
network sequencer,” In Proceedings of the International Conference on Advanced
Information Networking and Applications (AINA-07), pp.673-678, Niagara Falls, Canada,
May 2007. IEEE.
Rami Yared, Xavier Defago and Matthias Wiesmann, “Collision prevention using group
communication for asynchronous cooperative mobile robots,” In Proceedings of the
International Conference on Advanced Information Networking and Applications (AINA-07),
pages 244?249, Niagara Falls, Canada, May 2007. IEEE.
Xavier Defago, “Accountability of Systems and Services,” 26th Intl. Symp. on Reliable
Distributed Systems (SRDS'07), Beijing, China, October 2007.
Dongwen Ying, Masashi Unoki, Jianwu Dang, “A Noise Reduction Method based on Dimension
Reduction in Noise Eigenspace,” the Japan-China Joint Conference of Acoustics 2007,
P-2-29, June 2007, Sendai, Japan.
Qiang FANG, Jianguo WEI, Xugang LU, Jianwu DANG, “A 3D physiological articulatory model
for speech synthesis,” Proceeding of Japan-China joint conference of Acoustic, 2007,
Sendai, Japan.
Jianguo Wei, Xugang Lu, Jianwu Dang and Pascal Perrier, “Observation and Modeling of
Lingual Coarticulation in Planning Stage,” to appear in the AFCP workshop
“Coarticulation: cues, direction, and representation”, December, 2007.
Dongwen Ying, Jianwu Dang and Xugang Lu, “An Efficient TEO-based VAD With Noise
Reduction,” International Workshop on Nonlinear Circuit and Signal Processing, Australia,
pp.331-334, 2008.3.
国内会議, その他
Akagi, M., “Conversion of speaking voice into singing voice,” ICT Forum Hanoi, Invited
talk (Hanoi, Vietnam), 2007.12.
Nguyen B. P. and Akagi M., “A flexible temporal decomposition-based spectral modification
method using asymmetric Gaussian mixture model,” 電子情報通信学会技術報告, SP2007-25, 2007.
内山，鵜木，赤木, “方向性の手がかりを利用した雑音環境下での報知音の知覚能力の向上，”
電子情報通信学会技術報告, SP2007-27, 2007.
Huang C. F., Erickson, D., and Akagi M., “A study on expressive speech and perception
of semantic primitives: Comparison between Taiwanese and Japanese,” 電子情報通信学会技術
報告, SP2007-32, 2007.
Unoki M., Vu T. T., Seide J., and Akagi, M., “Evaluation of an LP-based blind restoration
method to improve intelligibility of BC speech,” 電子情報通信学会技術報告, SP2007-41, 2007.
Li, J., Sakamoto, S., Hongo, S., Akagi, M., and Suzuki, Y., “A speech enhancement approach
for binaural hearing aids,” Proc. 22th SIP Symposium, Sendai, 263-268 , 2007.
Vu, T. T., Unoki, M., and Akagi, M., “A study on the LP-based blind model in restoring
bone-conducted speech,” Asian Student workshop, Tokyo SP2007-189, 2007.
Haniu, A., Unoki, M., and Akagi, M., “Improvement of robustness using selective sound
segregation for automatic speech recognition systems in noisy environments,” Asian Student
workshop, Tokyo SP2007-196, 2008.3.
柴田，赤木, “連続発話音声中に含まれる男声?女声知覚に寄与する音響特徴量”, 電子情報通信学会
技術報告、SP2007-206, 2008.3.
Huang, C. F., Erickson, D., and Akagi, M., “Perception of Japanese expressive speech:
Comparison between Japanese and Taiwanese listeners,” Proc. ASJ '2007 Fall Meeting,
1-4-6, 2007.
Nguyen B. P. and Akagi M., “Temporal decomposition-based speech spectra modeling using
asymmetric Gaussian mixture model,” Proc. ASJ '2007 Fall Meeting, 3-4-6, 2007.
羽二生，鵜木，赤木, “雑音環境における選択的音源分離を規範とした音声認識,” 日本音響学会
平成20年春季研究発表会, 1-Q-1, 2008.3.
Lu, X., Unoki, M., and Akagi, M., “Comparative evaluation of modulation transfer function
based dereverberation for robust speech recognition,” Proc. ASJ '2008 Spring Meeting,
1-10-12, 2008.3.
Nguyen B. P. and Akagi M., “Improvement of Peak Estimation using Gaussian Mixture Model
for Speech Modification,” Proc. ASJ '2008 Spring Meeting, 1-11-27, 2008.3.
齋藤，後藤，鵜木，赤木, “SingBySpeaking：話声を歌声に変換する歌声合成システム,”
日本音響学会平成20年春季研究発表会, 1-11-28, 2008.3.
Li, J., Sakamoto, S., Hongo, S., Akagi, M., and Suzuki, Y., “A two-stage binaural
speech enhancement approach with adaptive filter and Wiener filter: Theory,
implementation and evaluation,” Proc. ASJ '2008 Spring Meeting, 3-6-8, 2008.3.
三輪 信介, 鈴木 未央, 櫨山 寛章, 宇多 仁, 宮地 利幸, 門林 雄基, 篠田 陽一,
“模倣インターネット環境の構築 −AS 間ネットワーク構築の試行 −,” インターネット
コンファレンス2007（IC2007）, pp.41-48, 2007.10.
野中 雄太, 知念 賢一, 宮地 利幸, 三輪 信介, 篠田 陽一, “実機ベース汎用大規模実験環境の
状態の保存・復元機構,” インターネットコンファレンス2007（IC2007）, pp.49-58, 2007.10.
宮地利幸, 宇多仁, 三輪信介, 知念賢一, 芳炭将, 丹康雄, 篠田陽一, “大規模ネットワーク実験
設備への要件,” マルチメディア，分散，協調とモバイル シンポジウム(DICOMO)2007, 論文集,
情報処理学会, pp. 1740-1747, 鳥羽, 2007.7.
野中 雄太, 知念 賢一, 宇多 仁, 宮地 利幸, 篠田 陽一, “StarBEDを用いたサーバ負荷試験の
実現,” マルチメディア，分散，協調とモバイル シンポジウム(DICOMO)2007, 論文集, 情報処理
学会, pp. 199-204, 鳥羽, 2007.7(ヤングリサーチャ賞受賞).
宮地利幸, 知念賢一, 篠田陽一, “StarBEDおよびSpringOSの性能評価,” 第8回インターネット
テクノロジーワークショップ(WIT2007)論文集, 日本ソフトウェア科学会 研究会資料シリーズNo.36
ISSN1341-870X, 日本ソフトウェア科学会 インターネットテクノロジ研究会, pp. 81-88, 鳥取, 2007.6.
上野隆資, 安田真悟, 井上朋哉, 篠田陽一, “アプリケーションMapTBマーカの提案,” 第8回
インターネットテクノロジーワークショップ(WIT2007)論文集, 日本ソフトウェア科学会
研究会資料シリーズNo.36 ISSN1341-870X, 日本ソフトウェア科学会 インターネットテクノロジ
研究会, pp. 23-29, 鳥取, 2007.6.
S. Zrelli, Y. Shinoda, “EAP Fast Re-Authentication Protocol (EAP-FRAP),” IETF
draft-zrelli-eap-frap-00, IETF (work in progress), July 2007.
S. Zrelli, Y. Shinoda, “XTGSP, the Inter-TGS protocol for cross-realm operations in
Kerberos,” draft-zrelli-krb-xtgsp-01, IETF (work in progress), March 2007.
宮地 充子, “(第4回ダイバーシティ・サポート・オフィス（DSO) セミナー研究)
あなたはロールモデルをイメージできますか？ (part 2),” 産業技術総合研究所
「女性研究者グローバルエンカレッジング」事業, 2008.2.
宮地 充子, “(暗号講座第12回) ISO等の国際標準化動向,” 中央大学研究開発機構 「情報
セキュリティ・情報保証 人材育成拠点」，2008.2．
宮地 充子, “楕円曲線を用いた暗号の最近の研究動向,” 奈良女子大学「魅力ある大学院教育」
イニシアティブ，女性先端科学セミナー．
A. Miyaji, “(Plenary talk) Application of Number Theory to Cryptology,” DMHF 2007: COE
Conference on the Development of Dynamic Mathematics with High Functionality, pp.3-6, 2007.
宮地 充子, “双線型写像応用に適した楕円曲線の最新の技術及び標準化動向,” RSA Conference
2007
宮地 充子, 近澤 武, 竜田 敏男, 渡辺 創, 大熊 建司, “（解説）情報セキュリティの標準化
動向について −ISO/IEC JTC1/SC27/WG2 2007年5月ロシア会議報告−」,” 電子情報通信学会，
信学技報 ISEC2007-39, pp.159-170, 2007.7.
宮地 充子, “（チュートリアル講演）ペアリング利用に適した楕円曲線の研究及び 標準化動向,”
電子情報通信学会，ソサイエティ大会 2007, AT2-2.
今屋雄太，助川昌泰，宮地充子, “RC4の擬似乱数生成部における新しい脆弱性 (1),” IEICE Japan
Tech. Rep., ISEC2007-159, pp.89-94, 2008.2.
助川昌泰，今屋雄太，宮地充子, “RC4の擬似乱数生成部における新しい脆弱性 (2),” IEICE
Japan Tech. Rep., ISEC2007-160, 95-100, 2009.2.
唐沢 智之, 双紙 正和, 宮地 充子, “サンプリング確率を変動させたIPトレースバック方式の
考察,” IPSJ SIG Tech. Rep, 2008-CSEC-40, pp.67-72, 2007.
早稲田篤志, 高木孝幸, 双紙正和, 宮地 充子, “異なるグループ間における量子秘密分散法の
検討,” The 2008 Symposium on Cryptography and Information Security, SCIS2008, 2D1-3,
2008.
今屋 雄太, 助川 昌泰, 宮地 充子, “RC4の擬似乱数生成部における新しい脆弱性 (1),” The
2008 Symposium on Cryptography and Information Security, SCIS2008, 3A1-2, 2008.
江村 恵太，宮地 充子, “CCA匿名性と短い署名長を持つグループ署名方式,” The 2008 Symposium
on Cryptography and Information Security, SCIS2008, 4F2-2, 2008.
Atsuko Miyaji, “Generalized EBRIP,” IEICE Japan Tech. Rep., ISEC2007-122, pp.67-78,
2007.12.
唐沢 智之, 双紙 正和, 宮地 充子, “カウンタを用いたIPトレースバック方式の検討,” Computer
Security Symposium, CSS2007-6C-1, pp.453-458, 2007.
亀井 利明, 宮地充子, “Sign Change Faultsに対して耐性を持つ新しいスカラー倍算,” Society
of Information Theory and its Applications, SITA2007, 7.3, 2007.
菅野康治, 宮地充子, “強存在的偽造不可能な署名スキームの一般的構成法,” Computer Security
Symposium, CSS2007-4B-1, pp.289-293, 2007.
J. Chen, A. Miyaji, “Efficient ID-Based Signature without Random Oracle,” IEICE Japan
Tech. Rep., ISEC2007-8, pp.53-56, 2007.5.
早稲田篤志，高木孝幸，双紙正和，宮地充子, “量子紛失通信に関する検討,” IEICE Japan Tech.
Rep., ISEC2007-10, pp.65-68, 2007.5.
Xavier Defago, “(Invited talk) Fault-Tolerant Group Communication for Cooperative Mobile
Robots,” Japan-Vietnam Workshop on Software Engineering 2007 (JVSE'07) September 2007.
東原大記，Rami Yared，Xavier Defago, “モバイルロボット間における先読み機能を有した経路
予約システムの提案,” 第15回マルチメディア通信と分散処理ワークショップ
(北陸先端大), 2007.11.
Dongwen Ying, Masashi Unoki, and Jianwu Dang, “A speech enhancement framework based
on noise eigenspace projection,” IEICE Technical Report, SP2007-42, Jul. 2007.
錦戸信和, 党建, “GMMを用いた通常発話状態と特異発話状態の弁別,” 日本音響学会秋季研究
発表会, 2007/09/19-21 (山梨大).
Jianguo Wei, Xugang Lu, Qiang Fang and Jianwu Dang, “Assessments of a Radial Basis
Function based Vocal Tract Normalization ” Proc. of The 2007 Autumn Meeting of The
Acoustical Society of Japan, 1-P-17, Sep. 2007.
Qiang FANG, Satoru Fujita, Xugang LU, Jianwu DANG, “Analysis of 3-D tongue shape in
speech production,” Proceeding of ASJ 2007 Autumn meeting , pp.335-336, 2007.
井上恵介,金子峰雄,岩垣剛, “データパスにおける遅延変動耐性に関する基礎的検討,” 電子
情報通信学会回路とシステム軽井沢ワークショップ論文集, pp.649-654, April 2007.
Takayuki Obata, Mineo Kaneko, “Re-scheduling with Skew Optimization in RT-Datapath
Synthesis,” 電子情報通信学会技術報告 回路とシステム研究会, CAS2007-24, SIP2007-54,
VLD2007-40, pp.31-36, June 2007.
Keisuke Inoue, Mineo Kaneko, Tsuyoshi Iwagaki, “Complexities and Algorithms of
Minimum-Delay Compensation Problems in Datapath Synthesis,” 電子情報通信学会技術報告
VLSI設計技術研究会, VLD2007-93, DC2007-48, pp.25-30, November 2007.
Takayuki Obata, Mineo Kaneko, “A Schedule Improvement with Skew Control in Datapath
Synthesis,” 電子情報通信学会技術報告 VLSI設計技術研究会, VLD2007-94, DC2007-49, pp.31-36,
November 2007.
柴田貴之, 金子峰雄, “二次元トーラス空間内の矩形配置に対するコード表現手法,” 電子情報
通信学会技術報告 回路とシステム研究会, CAS2007-80, CST2007-31, pp.37-42, November 2007.
井上恵介, 金子峰雄, 岩垣剛, “データパス合成における最小遅延補正演算器数の最小化手法,”
電子情報通信学会技術報告 VLSI設計技術研究会, VLD2007-140, ICD2007-163, pp.19-24,
March 2008.
