- ホーム
- 活動報告
- COEプログラム活動報告
- 平成18年活動報告
平成18年度活動報告
１８年度活動報告
I. 構成員
１．拠点リーダー
| 片山 卓也 | 情報科学研究科・情報システム学専攻 | 教授 |
２．研究グループ（※は協力員）
(1) 電子社会のための法令文書論理表現と推論グループ
| 島津 明 | 情報科学研究科・情報処理学専攻 | 教授 |
| 東条 敏 | 情報科学研究科・情報処理学専攻 | 教授 |
| ※ 白井 清昭 | 情報科学研究科・情報処理学専攻 | 助教授 |
| ※ 鳥澤 健太郎 | 情報科学研究科・情報処理学専攻 | 助教授 |
| ※ 山田 寛康 | 情報科学研究科・情報処理学専攻 | 助手 |
| ※ 中村 誠 | 情報科学研究科・情報処理学専攻 | 助手 |
| ※ 永田 裕一 | 情報科学研究科・情報処理学専攻 | 助手 |
| ※ 風間 淳一 | 情報科学研究科・情報処理学専攻 | 助手 |
(2) 電子社会のための形式推論機構グループ
| 小野 寛晰 | 情報科学研究科・情報処理学専攻 | 教授 |
| 小川 瑞史 | 安心電子社会研究センター | 特任教授 |
| VESTERGAARD, Rene | 情報科学研究科・情報システム学専攻 | 助教授 |
| ※ 石原 哉 | 情報科学研究科・情報処理学専攻 | 助教授 |
| ※ Nikolaos, Galatos | 情報科学研究科・情報処理学専攻 | 助手 |
(3) 電子社会のための形式検証技術グループ
| 二木 厚吉 | 情報科学研究科・情報システム学専攻 | 教授 |
| 平石 邦彦 | 情報科学研究科・情報システム学専攻 | 教授 |
| BJONER, Dines*1 | 情報科学研究科・情報処理学専攻 | 特任教授 |
| 緒方 和博*1 | 情報科学研究科・情報処理学専攻 | 特任助教授 |
| 青木 利晃 | 安心電子社会研究センター | 特任助教授 |
| 中村 正樹*2 | 情報科学研究科・情報システム学専攻 | 助手 |
| ※ 岸知二 | 情報科学研究科 | 客員教授 |
(4) 電子社会のためのモデル化技術グループ
| 落水 浩一郎 | 情報科学研究科・情報システム学専攻 | 教授 |
| 池田 満 | 知識科学研究科・知識システム基礎学専攻 | 教授 |
| 鈴木 正人*1 | 情報科学研究科・情報システム学専攻 | 助教授 |
| ※ 服部 哲 | 情報科学研究科 | 助手 |
(5) 電子社会のための安心基盤技術グループ
| 宮地 充子 | 情報科学研究科・情報システム学専攻 | 助教授 |
| 双紙 正和 | 情報科学研究科 | 特任助教授 |
| 篠田 陽一 | 情報科学センター | 教授 |
| SHEN, Hong*2 | 情報科学研究科・情報システム学専攻 | 教授 |
| DEFAGO, Xavier | 情報科学研究科 | 特任助教授 |
| 日比野 靖 | 情報科学研究科・情報システム学専攻 | 教授 |
| 金子 峰雄 | 情報科学研究科・情報システム学専攻 | 教授 |
| 赤木 正人 | 情報科学研究科・情報処理学専攻 | 教授 |
| 党 建武 | 情報科学研究科・情報処理学専攻 | 教授 |
| 浅野 哲夫 | 情報科学研究科・情報処理学専攻 | 教授 |
| ※ 知念賢一 | 情報科学研究科 | 助手 |
*1 19.2.8 まで
*2 18. 6.30 まで
３．安心電子社会研究センター（TRUST）
| センター長 | 片山 卓也 | 北陸先端科学技術大学院大学・情報科学研究科 | |
| 特任教授 | 小川 瑞史 | 北陸先端科学技術大学院大学・安心電子社会研究センター | |
| 特任助教授 | 青木 利晃 | 北陸先端科学技術大学院大学・安心電子社会研究センター | |
| 客員教員 | 岩井 淳 助教授 | 群馬大学・社会情報学部 | |
| 堀 雅和 助教授 | インテック・ウェブ・アンド・ゲノム・インフォマティックス（株） | ||
| 客員研究員 | 梅村 晃広 | （株）ＮＴＴデータ | 事務員 | 桜井 美幸 | 北陸先端科学技術大学院大学 |
| 氏名 | 採用年度 | 研究室 | |
| ポスドク | 松本 利雅 | 平成１６年度 | 小野 |
| Nguyen, Minh Le | 平成１６年度 | 島津 | |
| 鈴木 義崇 | 平成１６年度 | 東条 | |
| 矢竹 健朗 | 平成１８年度(19.3迄) | 片山 | |
| Kucera, Petr | 平成１８年度(19.10より) | 平石 | |
| Kong, Weiqiang | 平成１８年度(19.10より) | 二木 | |
| 博士課程研究員 | 林 信宏（リン シンコウ） | 平成１６年度(19.3迄) | 片山 |
| Zhang Yuanyuan | 平成１６年度(18.9迄) | 井口 | |
| 黄 明仁 | 平成１６年度 | 片山 | |
| 黄 純芳 | 平成１６年度 | 赤木 | |
| 錦戸 信和 | 平成１６年度 | 党 | |
| LI, Guoqiang | 平成１７年度 | 小川 | |
| NGUYEN, Thai Phuong | 平成１７年度 | 島津 | |
| CHEN,Yawen | 平成１７年度(19.1迄) | Shen | |
| ZHANG, Haibo | 平成１７年度(19.1迄) | Shen | |
| VU, Thang Tat | 平成１７年度 | 赤木 | |
| CHEN, Fan | 平成１７年度 | 小谷 | |
| SUN, Wei | 平成１７年度 | 井口 | |
| RYU, Jae-Kwan | 平成１７年度 | Chong | |
| NGUYEN, Thanh Tri | 平成１７年度 | 島津 | |
| VO, Hieu Dinh | 平成１８年度 | 落水 | |
| NGUYEN, Tang Van | 平成１８年度 | 小川 | |
| NGUYEN, Vinh Van | 平成１８年度 | 島津 | |
| FANG, Qiang | 平成１８年度 | 党 | |
| NGUYEN, Tien Lan | 平成１８年度 | 篠田 | |
| YANG, Yan | 平成１８年度 | Defago | |
| PHAM, Hung Ngoc | 平成１８年度 | 片山 | |
| GAINA, Daniel Mircea | 平成１８年度 | 二木 |
| 氏名 | 雇用期間 | 研究室 | |
| ポスドク | 清野 貴博 | 平成１７年度 | 二木 |
| 大橋 功治 | 平成１７−１８年度 | 金子 | |
| 博士学生研究員 | 白勢 政明 | 平成１６−１７年度 | 日比野 |
| 小畑 貴之 | 平成１６−１７年度 | 金子 | |
| QＵ, Wenyu | 平成１６−１７年度 | Ｓｈｅｎ | |
| TIAN, Hui | 平成１６−１７年度 | Ｓｈｅｎ | |
| 梅田 梢 | 平成１６−１７年度 | 宮地 | |
| 早稲田 篤志 | 平成１６−１７年度 | 宮地 | |
| 寺田 剛陽 | 平成１６−１７年度 | 宮地 | |
| 中田 潤也 | 平成１６−１７年度 | 丹 | |
| 矢竹 健朗 | 平成１７年度 | 片山 | |
| XIONG, Naiｘue | 平成１７年度 | Defago |
II. 教育
本学情報科学研究科では，1990年の開学以来，明確なカリキュラムに基づく大学院教育を他大学に
先駆けて行ってきたが，本ＣＯＥ拠点形成計画においても，博士後期課程学生を対象にして，検証
技術や高信頼情報システム関連の講義科目群の整備を行ってきた．本年度は，昨年度に引き続き
連携講座（NTTデータ）による「電子社会システム論」を行ったほか，ＣＯＥ養成博士後期課程学生
・ポスドク研究成果発表会を行った．
博士課程学生に関しては，本ＣＯＥ拠点形成計画担当教員指導のもとに，研究開発に参加する博士
学生研究員１８名とポスドク５名を育成中であり（１９年３月末時点），４月よりポスドク２名，
博士学生研究員４名を新規に雇用する．
III. 拠点形成
1. シンポジウム
| 2007/3/7-8 |
|
2. ワークショップ
| 2006/3/6 - 7 | JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (4th VERITE) | |
| 2005/09/21 - 22 | COE Workshop on Verification Technology for e-Society 2005 | |
| 2005/05/16 - 18 | International Workshop on Discrete and Computational Geometry | |
| 2005/04/24 - 25 | COE Workshop on Binding Challenges |
3. COE 関連セミナー
・COEセミナー
| 2006/06/12-25 | 21世紀COEプログラム検証進化可能電子社会オープンセミナー : Domain Engineering |
・情報科学研究科セミナー
| 2007/03/12 | 第13回 情報科学研究科セミナー : VHF帯防災無線帯域を用いた災害時用アドホック通信システムの開発 | |
| 2007/02/27 | 第12回 情報科学研究科セミナー : 連想計算による情報アクセス | |
| 2007/02/27 | 第11回 情報科学研究科セミナー : 聴覚体制化と聴覚の文法 | |
| 2007/02/23 | 第10回 情報科学研究科セミナー : プレイステーション３で使われている先端技術 | |
| 2007/02/20 | 第9回 情報科学研究科セミナー : 非同期リアルタイム処理〜デヴィット・カトラーの見果てぬ夢〜 | |
| 2007/02/09 | 第8回 情報科学研究科セミナー : 生活支援ロボットの産業化に向けて〜ＲＴミドルウェアとその標準化活動〜 | |
| 2007/01/12 | 第7回 情報科学研究科セミナー : 聴覚に関するマルチモーダル知覚情報処理過程とＶＲ応用 | |
| 2006/11/06 | 第6回 情報科学研究科セミナー : 聴覚情報表現に基づく音声処理技術：STRAIGHT | |
| 2006/10/25 | 第5回 情報科学研究科セミナー : 人間型ロボット | |
| 2006/10/16 | 第4回 情報科学研究科セミナー : Fault Attacks: An Algorithmic Perspective | |
| 2006/10/10 | 第3回 情報科学研究科セミナー : Synchronization: A Universal Concept in Nonlinear Sciences | |
| 2006/09/22 | 第2回 情報科学研究科セミナー : 情報セキュリティ総合科学と暗号理論 | |
| 2006/06/02 | 第1回 情報科学研究科セミナー : ユビキタス・ロボティクス |
・ AL（Algorithm & Logic）セミナー
| 2007/01/10 | 第116回 AL セミナー : Duality theory in the study of semigroups and automata | |
| 2007/10/10 | 第115回 AL セミナー : A coalgebraic perspective on automata theory |
４．研究内容
本拠点の研究内容は、電子社会の社会規則面および情報システム面の両面について，安心性要件
（正当性，アカウンタビリティ，セキュリティ，進化性，耐故障性）を解析・検証できる理論と
技術を開発することである．社会規則面に関しては，（１）電子社会が法令によって規定されて
いることに鑑み，法令文書の整合性や完全性の検証・解析に関する「法令工学」を世界に先駆けて
提案し、その展開を行った．それと同時に，（２）電子社会システムが法令などによって定め
られる性質を満たすことの形式検証のための電子社会システムの安心性形式検証技術の研究を
形式ドメインモデリングに沿って行い，また，（３）情報システム的安心性の解析・検証のために，
インターネットシミュレーションやセキュリティ機構の面から安心基盤技術を研究した．
５．その他
シンポジウム、ワークショップなどを多数開催すると同時に，国内外連携機関との共同研究，
研究ミーティングを行った．また，ＣＯＥモノグラフシリーズの出版を開始した．
IV. 研究成果
１． 概要
以下のような成果を上げ，それに関して，添付の論文発表(ジャーナル，査読つき国際会議）を
行った．
（１）法令工学：千代田区・富山県条例・年金法・所得税法の分析とその形式論理表現，手続き的
方法・機械学習による論理式への変換方式のための辞書とシステムの整備を行った．矛盾領域の
推定システムの実装を行い，富山県条例への適用することにより，条例＋用語オントロジーの問題を
発見できることを確認した．また，本学履修規則を対象にした履修管理システムへの，ゴール指向
要求分析＋法理論に基づくアカウンタビリティ機構の提案を行った．
（２）安心性形式検証：形式推論に関しては，代数化により種々の論理的性質の代数的特徴づけを
行うと同時に，代数的記述にもとづくモデル検査によりセキュリティプロトコルの検証を行った．
形式検証技術に関しては，電子商取引ドメインのＣａｆｅＯＢＪによる記述と検証，高階論理HOLに
よるファイアーウォールの検証，履修規則システムに対するワークフローの検証を行った．
（３）安心基盤技術：システム故障時にプライバシ保護を実現できる効率的暗号システムの提案，
インターネットシミュレータＯＳの設計と開発，誤りノード検出プロトコルの設計，対称３値論理を
用いた高能率ＸＴＲ公開鍵暗号ハードウェアの設計を行った．
２． 発表論文
（1） 電子社会のための法令文書論理表現と推論
学術論文
N. N. Tun and S. Tojo. “A MetaOntoModel, Meta-knowledge based Ontology Model to support
Matching between Heterogeneous Ontologies, International Journal of Semantic Web and
Information Systems (IJSWIS),” special issue on Ontology Matching. Dec, 2006.
吉岡卓，東条 敏, “時制と時区間を表現する複様相論理とその決定可能性,” 人工知能学会誌．
Vol. 21, No.3, 2006.
Phan, X.H., Nguyen, L.M., Inoguchi, Y., Ho, T.B., and Horiguchi, S., “Improving
Discriminative Sequential Learning by Discovering Important Associations of Statistics,”
ACM Transactions on Asian Language and Information Processing (Special issue on Reasoning
in Natural Language Information Processing), (accepted) to appear.
X.H. Phan, L.M. Nguyen, Y. Inoguchi, and S. Horiguchi, “High-Performance Training
Conditional Random Fields for Large-Scale Applications of Labeling Sequence Data,”
IEICE Transactions on Information and Systems (Special issue on Parallel/Distributed
Processing and Systems), accepted, to appear in 2007.
Nguyen, M.L., Phan, X.H, Horiguchi, S., and Shimazu, A. “A New Sentence Reduction
Technique Based on a Decision Tree Model," International Journal on Artificial
Intelligence Tools (IJAIT), accepted, to appear.
国際会議
Minh Le Nguyen, Akira Shimazu, Xuan-Hieu Phan, “Semantic Parsing with Structured SVM
Ensemble Classification Models,” In the Proceedings of the 21st International Conference
on Computational Linguistics and 44th Annual Meeting of the Association for Computational
Linguistics, pp. 619-626, Sidney, 2006.
Thai Phuong Nguyen, Akira Shimazu, Minh Le Nguyen, Cuong Anh Le, “Rule Based
Transformation for Improving Phrase Based SMT from English to Vietnamese,” In the
Proceedings of the First International Conference on Knowledge, Intelligent, and
Creativity Support Systems (KICSS), pp. 100-107, 2006.
Thai Phuong Nguyen, Akira Shimazu, “Improving Phrase-Based Statistical Machine
Translation with Morpho-Syntactic Analysis and Transformation,” In the Proceedings of
the 7th Conference of the Association for Machine Translation in the Americas (AMTA 2006),
pp. 138-147, 2006.
Tri Thanh Nguyen, Akira Shimazu, Cuong Anh Le, Minh Le Nguyen, “Applying RST Relations
to Semantic Search,” Lecture Notes in Computer Science (Ninth International Conference
on Text, Speech and Dialogue, Czech), Vol. 4188, pp. 189-196, Springer, 2006.
Kenji Takano, Akira Shimazu, “Recognizing Local Dialogue Structures and Dialogue Acts,”
In the Proceeings of International Symposium on Lingusitic Patterns in Spontaneous Speech,
pp. 85-95, Taipei, 2006.
Tri Thanh Nguyen, Minh Le Nguyen, Akira Shimazu, “Using Semi-Supervised Learning for
Question Classification,” In the Proceedings of the 21st International Conference on
Computer Processing of Oriental Languages (ICCPOL 2006), pp. 31-41, 2006.
Thai Phuong Nguyen, Akira Shimazu, “A Syntactic Transformation Model for Statistical
Machine Translation,” In the Proceedings of the 21st International Conference on Computer
Processing of Oriental Languages (ICCPOL 2006), pp. 63-74, Singapore, 2006.
Cuong Anh Le, Akira Shimazu, Minh Le Nguyen, “Investigating Problems of Semi-Supervised
Learning for Word Sense Disambiguation,” In the Proceedings of the 21st International
Conference on Computer Processing of Oriental Languages (ICCPOL 2006), pp. 482-489, 2006.
Minh Le Nguyen, Akira Shimazu, Nguyen Thanh Tri, “Subtree mining fro question
classification problem,” In the Proceedings of Twentieth International Joint Conference
on Artificial Intelligence (IJCAI 2007), pp. 1695-1700, Hyderabad, 2007.
Tri Thanh Nguyen, Minh Le Nguyen, Akira Shimazu, “Improving the Accuracy of Question
Classification with Machine Learning,” In the Proceedings of the fifth International
Conference on Research Innovation and Vision for the Future: RIVF'07, IEEE Explore
digital library, 2007.
Phan, X.H., Nguyen, L.M., Inoguchi, Y., Ho, T.B., Horiguchi, S, “High-Performance
Training of Conditional Random Fields for Large-Scale Sequential Labeling Applications,”
International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi.
T. Koga and S. Tojo, “Tense and Aspect in Polymodal Interval Temporal Logic,” IWCS-07, 2007
Y. Oka and S. Tojo. Optimal Parameter Set Acquisition for exGTTM, Music-AI '07 -IJCAI'07 workshop, 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.
K. Satoh and S. Tojo, “Disjunction of Causes and Disjunctive Cause: a Solution to the
Paradox of Condito Sine Qua Non using Minimal Abduction,” JURIX 2006.
S. Hagiwara and S. Tojo, “Discordance Detection in Regional Ordinance: Ontology-based
Validation,” JURIX 2006.
R. Matoba, M. Nakamura, and S. Tojo, “Utility for Communicability by Profit and Cost of
Agreement,” in Symbol Gounding and Beyond, P. Vogt et al. (ed.), LNAI 4211, Springer, 2006.
N. N. Tun and S. Tojo, “Identity Conditions for Ontology Analysis,” KSEM 2006.
S. Tojo, “Multi-dimensional Temporal Logic for Events and States,” Inference in
Computational Semantics (ICoS), 2006.
S. Hagiwara, M. Kobayashi, and S. Tojo, “Belief Updating By Communication Channel,”
Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII), 2006.
Y. Suzuki, “Dialogue Game Tree with Nondeterministic Additive Consolidation,”
Computational Logic in Multi-Agent Systems, 7th International Workshop (CLIMA VII,
Hakodate, Japan, May 2006), Revised Selected and Invited Papers, Katsumi Inoue, Ken
Satoh and Francesca Toni (Eds.) Lecture Notes in Artificial Intelligence, Vol. 4371,
Springer, 2006.
Y. Suzuki, “Additive Consolidation with Maximal Change,” the 13th Workshop on Logic,
Language, Information and Computation (WoLLIC 2006), CA, USA, 2006.
国内会議, その他
鈴木義崇, “対話ゲーム木のための非決定加算的信念強化”，第20回人工知能学会全国大会 (JSAI2006), 3B1-1, 2006．
（２）電子社会のための形式推論機構
学術論文
Nikolaos Galatos and Hiroakira Ono, “Glivenko theorems for substructural logics over FL,” Journal of
Symbolic Logic, Vol. 71, No. 4, pp. 1353-1384, 2006.
Nikolaos Galatos and Hiroakira Ono, “Algebraization, parametrized local deduction theorem
and interpolation for substructural logics over FL,” Studia Logica, Vol. 83, pp. 279-308,
2006.
Li Guoqiang, Mizuhito Ogawa, “On-the-fly model checking security protocols and its
implementation by Maude,” 情報処理学会論文誌：プログラミング（2007年3月22日採録、掲載予定）.
国際会議
Hitoshi Kihara and Hiroakira Ono, “Interpolation property, Robinson property and
amalgamation property I, II,” Algebra and Substructural Logics: take three, Krakow,
Poland, 2006.11.6-8.
Hiroakira Ono, “Deducibility and parameterized local deduction theorem in substructural
logics,” Paris-Vienna Workshop on Proof Theory, Paris, France, 2006.6.5-6.
Hiroakira Ono, “Residuated Lattices - a proof-theoretic approach (チュートリアル),”
International Symposium on Ordered Structures in Many-Valued Logic, Massa Lubrense,
Italy, 2006.5.29-6.1.
Tang Nguyen, Dang Van Hung and Mizuhito Ogawa, “Modeling Urgency in Component Based
Real-time Systems,” 11th Annual Asian Computing Science Conference (ASIAN'06), Dec. 6-8
2006, Tokyo, Japan (to appear in Springer LNCS).
J. Senachak, M. Vestergaard, R. Vestergaard, “Cascaded Games ,” Second International
Conference on Algebraic Biology (AB'07), to appear in LNCS/LNBI, 2007.
C. Chettaoui, F. Delaplace, P. Lescanne, M. Vestergaard, R. Vestergaard, “Rewriting game
theory as a foundation for state-based models of gene regulation,” Fourth International
Conference on Computational Methods in Systems Biology (CMSB'06), LNBI 4210, 2006.
（３）電子社会のための形式検証技術
学術論文
中村正樹 二木厚吉, “モジュラーな代数仕様言語のための項書き換えシステム,” コンピュータソフトウェア
(日本ソフトウェア科学会論文誌)， Vol. 23, No. 3, pp. 35-50, JULY 2006.
Masaki Nakamura, Watanabe, M., Kokichi Futatsugi, “A Behavioral Specification of
Imperative Programming Languages,” IEICE Transactions on Fundamentals of Electronics,
Communications anc Computer Sciences (電子情報通信学会論文誌), Vol. E89-A, No. 6,
pp. 1558-1565, June 2006.
Jianwen Xiang, Kazuhiro Ogata, Weiqiang Kong and Kokichi Futatsugi, “From Fault Tree
Analysis to Formal System Specification and Verification with OTS/CafeOBJ,” Computer
Software, JSSST, (コンピュータソフトウェア(日本ソフトウェア科学会論文誌))，Vol. 23, No. 3,
pp. 134-146，2006．
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 (IJSEKE), Vol. 17, No. 1, pp. 1-30, World Scientific
Publishing, 2007.
Dines Bjorner, “Domain Engineering,” Chapter for BCS FACS Springer Book, eds. J.P.Bowen
and P.Boca, August 2006.
国際会議
T.L. Nguyen, S. Elnaffar, T. Katayama, and T.B. Ho., “UMR2: A Better and More Realistic
Scheduling Algorithm for the Grid,” Proc. of the International Conference on Parallel
and Distributed Computing and Systems (PDCS'06), Texas, USA, pp. 432-437, ISBN:
0-88986-638-4, 2006.
T.L. Nguyen, S. Elnaffar, T. Katayama, and T.B. Ho, “Grid Scheduling using 2-Phase
Prediction (2PP) of CPU Power,” Proc. of the IEEE Innovations in Information Technology
(IIT'06), IEEE Communication Society Press, IEEE Catalogue Number 06EX1543C, ISBN
1-4244-0674-9, Library of Congress 2006933185, Dubai, UAE, 2006.
T.L. Nguyen, S. Elnaffar, T. Katayama, and T.B. Ho, “MRRS: A More Efficient Algorithm
for Scheduling Divisible Loads of Grid Applications,” Proc. of the 2006 IEEE/ACM
International Conference on SIGNAL-IMAGE TECHNOLOGY and INTERNET- BASED SYSTEMS (SITIS),
Tuynidia, Dec. 2006.
T.T. Nguyen, T. Katayama, “Two Critical Conditions for Modular Verification of
Variable-Modifying Aspects,” Asian Workshop on Aspect-Oriented Software Development
(AOA'06), 2006.
T.T. Nguyen, T. Katayama, “Modular Verification of Component-Based Embedded Software
Designs,” Embedded Systems Symposium (ESS'06) 2006.
Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi, “A Toolkit for Generating and
Displaying Proof Scores in the OTS/CafeOBJ Method,” Proceedings of the 6th International
Workshop on Rule-Based Programming (6th RULE), ENTCS 147(1), Elsevier, pp. 57-72, 2006.
Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi and Kazuhiro Ogata, “Analysis of Positive
Incentives for Protecting Secrets in Digital Rights Management,” Proceeding of the 2nd
International Conference on Web Information Systems and Technologies (2nd WEBIST), INSTICC
Press, pp. 5-12, 2006.
Kazuhiro Ogata and Kokichi Futatsugi, “Some Tips on Writing Proof Scores in the
OTS/CafeOBJ Method,” Proceedings of the Festschrift Symposium in Honor of Joseph A.
Goguen (Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the
Occasion of His 65th Birthday), LNCS 4060, Springer, pp. 596-615, 2006.
Kazuhiro Ogata, Weiqiang Kong and Kokichi Futatsugi, “Falsification of OTSs by Searches
of Bounded Reachable State Spaces,” Proceedings of the 18th International Conference on
Software Engineering and Knowledge Engineering (18th SEKE), Knowledge Systems Institute,
pp. 440-445, 2006.
Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi, “Automating
Invariant Verification of Behavioral Specifications,” Proceedings of the 6th International
Conference on Quality Software (6th QSIC), IEEE Computer Society Press, pp. 49-56, 2006.
Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong and Kokichi Futatsugi, “Induction-Guided
Falsification,” Prceedings of the 8th International Conference on Formal Engineering
Methods (8th ICFEM), LNCS 4260, Springer, pp. 114-131, 2006.
Dines Bjorner, “Domains and Problem Frames,” Invited keynote talk, IWAAPF, an ICSE 2006
Satellite Event, Shanghai, May 2006. Submitted for publication in Expert Systems, The
Journal of Knowledge Engineering.
Dines Bjorner, “The Triptych Process Model: Process Assessment and Improvement,” Invited
keynote talk at JASPIC. pp. 12-13, Tsukuba, Oct. 2006.
Dines Bjorner, “The Role of Domain Engineering in Software Development,” Invited keynote
paper and talk: IPSJ/SIGSE Software Engineering Symposium 2006, Tokyo, Oct. 2006.
Dines Bjorner, “Verified Software for Ubuiquitous Computing, A Project Proposal,” 1AWCVS,
Macau, pp. 29-31 Oct., 2006.
Dines Bjorner, “Public Government, A Domain Analysis,” : e-Macao June 1, 2006.
Kunihiko Hiraishi, “Solving optimization problems on hybrid systems by graph exploration,”
Proc. 8th Int. Workshop on Dscrete Event Systems, pp.282-287, Michigan, USA, July 2006.
Kunihiko Hiraishi, “Performance Evaluation of Workflows Using Continuous Approximation,”
Proc. Japan Vietnam Workshop on Software Engineering, 8-9, (Hanoi, Vietnam, Aug. 2006.
国内会議, その他
Chaiwat Sathawornwichit, Takuya Katayama , “Parametric Deadline Analysis for Real-Time
Java Program,” 第4回ディペンダブルソフトウェアワークショップDSW2006-2, pp. 67-74,
December12, 2006.
谷崎裕明, 片山卓也, “構成管理モデルFMCのAlloyによる検証,”
第4回ディペンダブルソフトウェアワークショップDSW2006-2, pp. 41-50, Dec.2006.
矢竹健朗，片山卓也, “定理証明器HOLにおけるファイアウォールサーバのセキュリティ検証,”
第3回システム検証の科学技術シンポジウム2006, pp.59-66.
青木利晃, “高信頼性組み込みソフトウェア開発-最新技術動向と取り組み:2.形式的
手法による高信頼性組み込みソフトウェア開発,” 情報処理学会 学会誌 Vol. 47 No. 5, pp. 491-497, 2006.
青木利晃, “周期イベントに基づいた並行タスクの振る舞いの検証法,”
情報処理学会ソフトウェア工学研究会 ウィンターワークショップ2007, pp. 7-8, 2007.
Kokichi FUTATSUGI, “Verifying Specifications with Proof Scores in CafeOBJ (an invited
keynote paper at ASE 2006),” Proc. of 21st IEEE International Conference on Automated
Software Engineering, pp. 3-10, 2006.
Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi, “complete
specification transformation from OTS/CafeOBJ to OTS/Maude (OTS/CafeOBJからOTS/Maudeへの
仕様変換の研究),” 電子情報通信学会技術研究報告, 信学技報, 106(120), pp. 1-6, 2006.
Weiqiang Kong, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi, “A Review of
Induction-Guided Falsification and Towards its Automation,” Preliminary Proceedings of
the 1st Asian Working Conference on Verified Software (1st AWCVC), pp. 48-59, 2006.
Dines Bjorner, “On Domain and Domain Engineering: Prerequisite for Trustworthy Software
A Necessity for Believable Management,”A management document (final), March 2006.
Dines Bjorner, “Possible Collaborative “Domain” Projects,” A management brief (final),
March 2006.
Dines Bjorner, “Transportation Nets,” Memo, August 2006.
Dines Bjorner, “Documents: A Domain Analysis,” Memo, December 2006.
Dines Bjorner and Kokichi Futatsugi etc., “A Family of License Languages,” Working R&D
development notes for the JAIST Domain Engineering and Digital Rights Management
effort, August-September 2006.
Dines Bjorner, “Models of IT Systems ― IT System Security Rules” Memo, December 2006.
Kunihiko Hiraishi, “Performance Evaluation of Workflows Using Continuous Approximation,”
電子情報通信学会技術報告 CST2006-3, pp. 7-12,長崎, 2006/11.
崔舜星, 平石邦彦, “混合論理動的システム表現の改良に関する研究,” 電子情報通信学会技術報告
CST2006-2, pp. 7-11, 石川, 2006/6.
（４）電子社会のためのモデル化技術
学術論文
落水浩一郎, “ソフトウェア開発管理と開発方法論の融合について,” SEAMAIL, Vol. 14, No. 9-10,
pp. 32-59, 2006/5．
落水浩一郎, “ゴールと手段：科学するマインド,” コンピュータソフトウェア, Vol. 24, No. 1,
pp. 101 (コラム), 2007/1.
武内雅宇，林 雄介，池田 満，溝口理一郎, “実践・教育複合型協調学習場の設計支援に向けた
オントロジー工学的アプローチ,” 人工知能学会誌, Vol. 21, No. 2, pp. 184-194, 2006.
池田 満, “教育システム情報学の体系化〜実り豊かな知の交流と学びの場の形成を目指して〜,”
教育システム情報学会誌(巻頭言）, Vol. 23, No. 4, pp. 161-163, 2006.
国際会議
K.Ochimizu, “Software Development Environment for a Distributed Cooperative Work,”
JVSE2006, pp. 8-9, 2006.
Lu, W. and Ikeda, M., “Capturing a Conceptual Model for Intercultural Collaboration in
Copyright Management,” Proc. of the first International Workshop on Intercultural
Collaboration, to appear, 2007,
Ikeda, M., Kevin D. Ashley, Tak-Wai Chan (Eds.), 8th International Conference on
Intelligent Tutoring Systems(LNCS4053), 2006, Springer-Verlag Berlin Heidelberg.
Takeuchi, M., Hayashi, Y., Ikeda, M., and Mizoguchi, R. A, “Collaborative Learning Design
Environment to Integrate Practice and Learning Based on Collaborative Space Ontology and
Patterns,”Proc. of 8th International Conference of Intelligent Tutoring Systems, Springer
LNCS No, 4053, Jhongli, Taiwan, pp. 187-196, 2006.
Seta, K., Koyama, K., Hayashi, Y. and Ikeda, M., “Building Ontologies for Conceptual
Model Management,”WSEAS Transactions on Information Science and Applications (ISSN:
1790-0832), pp. 546-553, 2006.
Hayashi, Y. and Ikeda, M., “Knowledge Level Design Support for Adaptive Learning Contents:
Ontological Consideration of Knowledge Level Structure of SCORM2004 Contents,” New
Frontiers in Artificial Intelligence, Springer Berlin / Heidelberg, LNAI 4012, pp. 41-52, 2006.
国内会議, その他
落水浩一郎, “ソフトウェア開発方法論とプロジェクト管理の融合法に関する考察,” SPI
Japan 2006（招待講演）, 2006/10．
服部 哲, 落水浩一郎, “ステートチャート仕様からのRound-Tripカバレージに基づくテストケースの
自動生成,” 日本ソフトウェア科学会FOSE'2006報告集, pp. 77-82, 2006/11.
落水 浩一郎, “ソフトウェア開発方法論とプロジェクト管理の融合法に関する基礎考察,”
電子情報通信学会 ソフトウェアサイエンス研究会, 信学技報, pp.37-42, 2006/6.
落水 浩一郎, “ソフトウェアアカウンタビリティに関する基礎考察,” 電子情報通信学会
ソフトウェアサイエンス研究会, 信学技報, 2006/8.
瀬尾明志, 長谷川忍, 落水浩一郎, “状況適応性のある学習管理システムに関する研究,”
人工知能学会先進的学習科学と工学研究会資料,SIG-ALST-A602, pp. 29-34, 2006/10.
落水 浩一郎, “統合フレームワークとリスク監視に基づくソフトウェアプロセスの長・中・短期的
改善法に関する考察,” 電子情報通信学会 ソフトウェアサイエンス研究会, 2006/11.
牛尾遼平，服部哲，落水 浩一郎, “定理証明技術を用いたユースケースの追加支援システムの研究,”
情報処理学会 ソフトウェア工学研究会, 2007/3.
菅井拓海，小谷正行，落水 浩一郎, “ＵＭＬ図面要素に対応するJava協調クラス群の抽出ツール,”
情報処理学会 ソフトウェア工学研究会, 2007/3.
（５）電子社会のための安心基盤技術
学術論文
X. Liang and T. Asano, “Combinatorial Approach to Fingerprint Binarization and Minutiae
Extraction Using Euclidean Distance Transform,” to appear in International Journal of
Pattern Recognition and Artificial Intelligence.
T. Asano, J. Matousek, and T. Tokuyama “The distance trisector curve,” to appear in
Advances in Mathematics.
S. Teramoto T. Asano, N. Katoh, and B. Doerr, “Inserting Points Uniformly at Every
Instance,” Trans. on Info. and Systems, E89-D, 8, pp. 2348-2356, 2006.
X. Liang and T. Asano, “A Linear Time Algorithm for Binary Fingerprint Image Denoising
Using Distance Transform,” IEICE Trans. on E89-D, 4, pp. 1534-1542, 2006.
B. Aronov, T. Asano, N. Katoh, K. Mehlhorn, and T. Tokuyama,“Polyline fitting of planar
points under min-sum criterion,” Int. J. on Computational Geometry & Applications,
16(2-3), pp. 97-116, 2006.
B. Aronov, T. Asano, Y. Kikuchi, S. C. Nandy, S. Sasahara, and T. Uno, “A Generalization
of Magic Squares with Applications to Digital Halftoning,” to appear in Theory of
Computing System.
西本，赤木，北村，鈴木“有限要素法による声道伝達特性推定の有効性に関する検討,”
日本音響学会誌, 62(4), pp. 306-315, 2006.
Li, J. and Akagi, M., “Noise reduction method based on generalized subtractive
beamformer," Acoust. Sci. & Tech., 27(4), pp. 206-215, 2006.
Nakanishi, J., Unoki, M., and Akagi, M. “Effect of ITD and component frequencies on
perception of alarm signals in noisy environments,” Journal of Signal Processing,
10, 4, 231-234, 2006.
Nishimoto, H. and Akagi, M. “Effects of complicated vocal tract shapes on vocal tract
transfer functions,” Journal of Signal Processing, 10(4), pp. 267-270, 2006.
Vu, T., Unoki, M., and Akagi, M. “A Study on Restoration of Bone-Conducted Speech with
MTF-Based and LP-based Models,” Journal of Signal Processing, 10(6), pp.407-417, 2006.
Unoki, M., Kubo, M., Haniu, A., and Akagi, M. “A Model-Concept of the Selective Sound
Segregation:−A Prototype Model for Selective Segregation of Target Instrument Sound from
the Mixed Sound of Various Instruments―,” Journal of Signal Processing, 10(6), pp. 419-431, 2006.
Koji Ohashi, Mineo Kaneko, “Analysis and Optimization of Statistical Performance for
Asynchronous Datapaths,” WSEAS Transactions on Circuits and Systems, Vol. 5, No. 7,
pp. 895-902, July 2006.
Koji Ohashi, Mineo Kaneko, “Statistical Analysis Driven Synthesis of Application Specific
Asynchronous Systems,” IEICE Transactions on Fundamentals, Vol. E90-A, No. 3,
pp. 659-669, March 2007.
Koji Ohashi, Mineo Kaneko, “Loop Pipeline Scheduling for Assignment Constrained Iteration
Period Minimization,” WSEAS Transactions on Circuits and Systems, Vol. 6, No. 3,
pp. 389-396, March 2007.
A. Miyaji, H. Mamiya, H. Morimoto, “Secure elliptic curve exponentiation against RPA,
ZRA, DPA, and SPA,” IEICE Trans., Fundamentals. Vol. 89-A, No.8, pp. 2207-2215, 2006.
H. Mamiya and A. Miyaji, “Fixed-Hamming-Weight Representation for Indistinguishable
Addition Formulae,” IPSJ Trans, Vol. 47,No. 8, 2430-2439, 2006.
A. Miyaji and Y. Takano, “Evaluation of the security of RC6 against the x2-attack,”
IEICE Trans., Fundamentals. Vol. E90-A, No.1, pp. 22-28, 2007.
宮地利幸, 三輪信介, 知念賢一, 篠田陽一, “ネットワーク実験支援ソフトウェアの汎用
アーキテクチャの提案,” 情報処理, 「ユーザ指向の分散システム／インターネットの運用・管理」
特集号, 情報処理学会, Apr, 2007.(掲載予定).
国際会議
X. Liang and T. Asano, “Fingerprint Matching Using Minutia Polygons,” Proc. ICPR: 18th
Intl. Conf. on Pattern Recognition, Hong Kong, August, pp. 1046-1049, 2006.
X. Liang, T. Asano, and H. Zhang, “A Combined Radial Basis Function Model for Fingerprint
Distortion,” Proc. ICIAR: Intel. Conf. on Image Analysis and Recognition, Portugal, pp.
286-296, 2006.
T. Asano, “Aspect-ratio Voronoi Diagram with Applications,” Proc. International Symposium
on Voronoi Diagram in Science and Engineering, Banff, Canada, pp. 217-223, 2006.
T. Asano, N. Katoh, H. Tamaki, T. Tokuyama, “Angular Voronoi Diagram with Applications,”
同上, pp. 32-39, 2006.
T. Asano and D. Kirkpatrick, “Distance Trisector Curves in Regular Convex Distance
Metrics,“ 同上, pp. 8-17, 2006.
T. Asano, J. Matousek, and T. Tokuyama, “The Distance Trisector Curve,” ACM Symposium on
Computing Theory, pp. 336-343, 2006.
Unoki, M., Toi, M., and Akagi, M., “Refinement of an MTF-based speech dereverberation
method using an optimal inverse-MTF filter,” SPECOM2006, St. Petersburg, pp. 323-326, 2006.
Li, J., Akagi, M., and Suzuki, Y.. “Noise reduction based on generalized subtractive
beamformer for speech enhancement,” WESPAC2006, Seoul, 2006
Li, J, Akagi, M., and Suzuki, Y., “Improved hybrid microphone array post-filter by
integrating a robust recognition in reverberant environment,” Proc. ICSLP2006,
Pittsburgh, USA, pp. 2546-2549, 2006.
Lu, X., Unoki, M., and Akagi, M., “A robust feature extraction based on the MTF concept
for speech speech absence probability estimator for speech enhancement,” Proc. ICSLP2006,
Pittsburgh, USA, pp. 2130-2133, 2006.
Vu, T., Unoki, M., and Akagi, M., “A study on an LP-based model for restoring
bone-conducted speech,” Proc. HUT-ICCE2006, Hanoi, 2006.
Li, J., Akagi, M., and Suzuki, Y. (2006). “Noise reduction based on microphone array and
post-filtering for robust speech recognition,” Proc. ICSP, Guilin, 2006.
Saitou, T., Unoki, M., and Akagi, M., “Analysis of acoustic features affecting
singing-voice perception and its application to singing-voice synthesis from
speaking-voice using STRAIGHT,” J. Acoust. Soc. Am., 120, 5, Pt. 2, 3029, 2006.
Akagi, M., Dang, J., Lu, X., and Uchiyamada, T., “Investigation of interaction between
speech perception and production using auditory feedback,” J. Acoust. Soc. Am., 120, 5,
Pt. 2, 3253, 2006.
Uniki, M., Toi, M., Shibano, Y., and Akagi, M., “Suppression of speech intelligibility
loss through a modulation transfer function-based speech dereverberation method,” J.
Acoust. Soc. Am., 120, 5, Pt. 2, 3360, 2006.
Li, J., Akagi, M., and Suzuki, Y., “Multi-channel noise reduction in noisy environments,”
Chinese Spoken Language Processing, Proc. ISCSLP2006, Springer LNCS 4274, pp. 258-269, 2006.
Minowa A., Unoki M., and Akagi M., “A study on physical conditions for auditory
segregation/integration of speech signals based on auditory scene analysis,” Proc.
NCSP2007, pp. 313-316, 2007.
Nguyen B. P. and Akagi M., “Spectral Modification for Voice Gender Conversion using
Temporal Decomposition,” Proc. NCSP2007, pp. 481-484, 2007.
Uchiyama H., Unoki M., and Akagi M., “A study on perception of alarm signal in car
environments,” Proc. NCSP2007, 389-392, 2007.
Rami Yared, Julien Cartigny, Xavier Defago and Matthias Wiesmann, “Locality-preserving
distributed path reservation protocol for asynchronous cooperative mobile robots,” In
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS’
2007), Sedona, Arizona, USA, March 2007.
Samia Souissi, Xavier Defago and Masafumi Yamashita, “Gathering asynchronous mobile
robots with inaccurate compasses,” In A. Shvartsman, editor, Proc. 10th Intl. Conf. on
Principles of Distributed Systems (OPODIS 2006), volume 4305 of LNCS, pp. 333-349,
Bordeaux, France, Springer, December 2006.
Matthias Wiesmann and Xavier Defago, “End-to-end consensus using end-to-end channels,”
In Proc. 12th Intl. Symp. Pacific Rim Dependable Computing (PRDC'06), pp. 341-350,
Riverside, CA, USA, IEEE, December 2006.
Samia Souissi, Xavier Defago and Masafumi Yamashita, “Using eventually consistent
compasses to gather oblivious mobile robots with limited visibility,” In A. K. Datta
and M. Gradinariu, editors, Proc. 8th Intl. Symp. on Stabilization, Safety, and Security
of Distributed Systems (SSS 2006), volume 4280 of LNCS, pp. 471-487, Dallas, TX, USA,
Springer, November 2006.
Matthias Wiesmann, Peter Urban and Xavier Defago, “An SNMP based failure detection
service,” In Proceedings of the Symposium on Reliable Distributed Systems (SRDS 2006),
pp. 365-374, Leeds, UK, IEEE, October 2006.
Xavier Defago, Maria Gradinariu, Stephane Messika and Philippe Raipin-Parvedy,
“Fault-tolerant and self-stabilizing mobile robots gathering,” In S. Dolev, editor,
Proc. 20th Intl. Symp. on Distributed Computing (DISC 2006), LNCS 4167, pp. 46-60,
Stockholm, Sweden, Springer, September 2006.
N. Xiong, X. Jia, X. Defago, Y. Yang, Y. He, “Design and analysis of a self-tuning
proportional and integral controller for Active Queue Management routers to support
TCP flows,” Proc. 25th IEEE Annual Conf. on Computer Communications (INFOCOM’06),
April 2006.
Takayuki Obata, Mineo Kaneko, “Simultaneous Control-step and Skew Assignment for Control
Signals in RT-Level Datapath Synthesis,” Proceedings of the Workshop on Synthesis And
System Integration of Mixted Information Technologies SASIMI2006, pp. 314-321, April 2006.
Koji Ohashi, Mineo Kaneko, “Statistical Makespan Analysis in Asynchronous Datapath
Synthesis,” Proceedings of the 10th WSEAS International Conference on Circuits, pp.
318-323 (CD-ROM ISSN: 1790-5117, ISBN: 960-8457-47-5), July 2006.
Mineo Kaneko, “Statistical Property and Subclass Structure of Sequence Triple Code
Space for Repeated Placements,” Proceedings of IEEE International Midwest Symposium on
Circuits and Systems (CD-ROM), August 2006.
Mineo Kaneko, “Minimal Set of Essential Resource Disjoint Pairs for Exploring Feasible
3D Schedules,” Proceedings of IEEE Asia Pacific Conference on Circuits and Systems
pp. 335-338 (CD-ROM ISBN: 1-4244-0387-1), December 2006.
Koji Ohashi, Mineo Kaneko, “Extended Register-Sharing in the Synthesis of Dual-Rail
Two-Phase Asynchro nous Datapath',” Proceedings of GLSVLSI2007, March 2007.
T. Terada, M. Soshi, and A. Miyaji, “An IP Traceback Scheme with Variably Probabilistic
Packet Marking,” The 2006 International Symposium on Information Theory and its
Applications, Proceedings of ISITA 2006, 2006.
Jianguo Wei, Xugang Lu, Jianwu Dang, “A Simulation Based Parameter Optimization for a
Coarticulation Model,” ICSLP 2006, pp. 969-972, USA, Sep. 2006.
Dongwen Ying, Yu Shi, Frank Soong, Jianwu Dang and Xugang Lu, “A Robust Voice Activity
Detection based on Noise Eigenspace Projection,” ISCSLP 2006 (Springer LNAI Book, SCI
Indexed), Kent Ridge, Singapor, Dec. 2006, I-76.
Akikazu Nishikido and Jianwu dang, “Analysis of normal and infrequent articulation based
on comparison of simulation and observation,” Proc. of the 7th International Seminars on
Speech Production, pp. 201-208, 2006.
Qiang FANG, Jianwu DANG. “Synthesis of Chinese vowels based on a physiological
articulatory model,” Proc of the 2006 Autumn Meeting of the Acoustic Society of Japan.
Pp. 473-474. 2006.
Razvan Beuran, Ken-ichi Chinen, Khin Thida Latt, Toshiyuki Miyachi, Junya Nakata, Lan
Tguyen Nguyen, Yoichi Shinoda and Yasuo Tan, “Application Performance Assessment on
Wireless Ad Hoc Networks,” Asian Internet Engineering Conference (AINTEC) 2006,
Springer-Verlag LNCS 4311, pp. 128-138, Bangkok, Thailand, Nov. 2006.
Razvan Beuran, Ken-ichi Chinen, Khin Thida Latt, Toshiyuki Miyachi, Junya Nakata, Lan
Tguyen Nguyen, Yoichi Shinoda, Yasuo Tan, Satoshi Uda and Saber Zrelli, “WLAN Emulation
on StarBED,” IET International Conference on Wireless, Mobile & Multimedia Networks
(ICWMMN) 2006, pp. 856-859, Hangzhou, China, Nov. 2006.
Toshiyuki Miyachi, Junya Nakata, Razvan Beuran, Ken-ichi Chinen, Kenji Masui, Satoshi Uda,
Yasuo Tan and Yoichi Shinoda, “Realistic Simulation of Internet,” Systems Modeling and
Simulation Theory and Applications, Asian Simulation Conference (ASC) 2006, Springer, ISBN
4-431-49021-3, pp. 386-390, Tokyo, Japan, Oct. 2006.
Toshiyuki Miyachi, Ken-ichi Chinen and Yoichi Shinoda, “StarBED and SpringOS: Large-scale
General Purpose Network Testbed and Supporting Software,” International Conference on
Performance Evaluation Methodlogies and Tools (Valuetools) 2006, ACM Press, ISBN
1-59593-504-5, Pisa, Italy, Oct. 2006.
Ken-ichi Chinen, Toshiyuki Miyachi and Yoichi Shinoda, “A Rendezvous in Network
Experiment - Case Study of Kuroyuri,” International Conference on Testbeds and
Research Infrastructures for the Development of Networks and Communities (TridentCom)
2006, IEEE, ISBN 1-4244-0106-2, Barcelona, Spain, Mar. 2006.
国内会議, その他
Li, J., Sakamoto, S., Hongo, S., Akagi, M., and Suzuki, Y., “Adaptive β-order
generalized spectral subtraction for speech enhancement,” Tech. Report of IEICE,
EA2006-42, 2006.
Vu, T., Unoki, M., and Akagi, M. “A parameter estimation method for a bone-conducted
speech restoration based on the linear presiction,” Trans. Tech. Comm. Psychol. Physiol.
Acoust., ASJ, 36, 7, H-2006-104, 2006.
Vu T. T., Unoki M. and Akagi, M., “An LP-based blind restoration method for improving
intelligibility of bone-conducted speech,” 電子情報通信学会 音声研究会, 2007.
Li, J., Sakamoto, S., Hongo, S., Akagi, M., and Suzuki, Y., “Generalized spectral
subtraction based on sub-band SNR,” Proc. ASJ '2006 Fall Meeting, 1-1-21, 2006.
朴，党，中井，赤木, “MRIデータを用いた軟口蓋の測定と声道音響モデルへの適用に関する研究,”
平成18年秋季音響学会講演論文, 1-Q-6, 2006.
Vu, T., Unoki, M., and Akagi, M., “A study on predicting parameters of LP-based model
for restoring bone-conducted speech,” Proc. ASJ '2006 Fall Meeting, 2-5-1, 2006.
内山田，Lu，党，赤木, “変形聴覚フィードバックによる発話系の補償動作について,”
平成18年秋季音響学会講演論文, 3-P-9, 2006.
内山田，Lu，党，赤木, “変形聴覚フィードバックに対する発話系の反応の計測,”
平成19年春季音響学会講演論文, 2-Q-18, 2007
沢村，党，赤木，Fang，Erickson，櫻庭，峯松，広瀬, “異文化間の感情音声の認知における
共通要素についての検討,” 平成19年春季音響学会講演論文, 2-Q-19, 2007.
内山，鵜木，赤木, “自動車環境下の報知音知覚に関する検討,” 平成19年春季音響学会講演論文,
2-Q-20, 2007.
Nguyen B. P., Huang C. F., and Akagi M., “Temporal decomposition-based spectral
modification and its application to emotional speech synthesis,” Proc. ASJ '2007 Spring
Meeting, 3-8-8, 2007.
Huang C. F., Nguyen B. P., and Akagi M., “Rule-Based Speech Morphing for Evaluating
Emotional Speech Perception Model,” Proc. ASJ '2007 Spring Meeting, 3-8-9, 2007.
Koji Ohashi, Mineo Kaneko, “Dual-Rail Two-Phase Asynchronous Datapath Synthesis Based on
Aggressive Register Sharing Model,” 第19回回路とシステム軽井沢ワークショップ,
pp. 589-594, April 2006.
Mineo Kaneko, ?Solution Space Reduction of Sequence Pairs using Model Placement,” IEICE
Technical report, CAS2006-5, VLD2006-18, SIP2006-28, pp. 25-28, June 2006.
小畑貴之, 金子峰雄, “データパス合成における制御信号のスキュー付コントロールステップ
割り当て問題の計算量について,” 電子情報通信学会 基礎境界ソサエティ大会, S-3, 2006/9.
井上恵介, 岩垣剛, 金子峰雄, “高位合成における遅延変動にロバストな資源割り当て,”
電子情報通信学会技術報告, 機能集積情報システム研究会, FIIS06, No.188, 2006/10.
矢野勇生, 金子峰雄, “二次配線長最小化を利用したシーケンスペアの解空間縮小,”
電子情報通信学会技術報告 回路とシステム研究会, CAS2006-59, CST2006-35, pp.25-30, 2006/11.
Takayuki Obata, Mineo Kaneko, “Computational Complexity of Simultaneous Optimization of
Control Schedule and Skew in Datapath Synthesis,” 電子情報通信学会技術報告 VLSI設計技術
研究会, VLD2006-65, DC2006-52, pp.83-88, 2006/11.
井上恵介, 金子峰雄, 岩垣剛, “遅延ばらつきを考慮したデータパス合成に関する基礎的考察,”
電子情報通信学会技術報告 VLSI設計技術研究会, VLD2006-64, DC2006-51, pp.77-82 2006/11.
T.Iwagaki, S.Ohtake, M.Kaneko, H.Fujiwara, “A Test Generation Framework using Checker
Circuits and its Application to Path Delay Test Generation,” 電子情報通信学会技術報告
回路とシステム研究会, CAS2006-76, pp.37-42, 2007/1.
Takayuki Obata, Mineo Kaneko, “Computational Complexity of Simultaneous Optimization of
Skew, Schedule and Clock in High-Level Synthesis,” 電子情報通信学会技術報告 回路とシステム
研究会, CAS2006-75, pp.31-36, 2007/1.
矢野勇生,金子峰雄, “配線長を考慮した半順序制約付きシーケンスペアによるモジュール配置の
評価と考察,” 電子情報通信学会技術報告 回路とシステム研究会, CAS2006-88, SIP2006-189,
CS2006-105, pp.63-68, 2007/3.
宮地 充子, “双線形写像暗号に適した楕円曲線の構成,” 日本応用数理学会 2006年度年会，
講演予稿集 pp. 104-107, 2006．
宮地 充子, “双線形写像に基づく暗号に適した(超)楕円曲線の構造,”「代数幾何・数論及び符号・
暗号」研究会報告書 東京大学院大学数理学研究科, pp. 42-58, 2006.
宮地 充子, “コンピューター社会の情報セキュリティ技術−暗号はこうして作られる−,”
福井ライフ・アカデミー現代的課題講座2.
宮地 充子, “数論応用と楕円曲線暗号の構築について,” 電子情報通信学会，信学技報 IT2006-11,
pp. 1-6, 2006.
A. Miyaji, “ID-Based Encryption with a hierarchical structure without random oracle
model,” IEICE Japan Tech. Rep., ISEC2006-3, pp. 15-22, May 2006..
和田 崇臣，宮地 充子，樋上 智彦, “非対称カイ二乗検定攻撃の解読可能段数の再評価,” IEICE
Japan Tech. Rep., ISEC2006-29, pp. 149-154, July 2006.
宮地 充子, 近澤 武, 竜田 敏男, 大塚 玲, 安田 幹，森 健吾，才所 敏明, “情報セキュリティの
標準化動向について −ISO/IEC JTC1/SC27/WG2 2006年5月マドリッド会議報告−,”
IEICE Japan Tech. Rep., ISEC2006-46, pp. 43-52, July 2006.
竹本 秀樹, 双紙 正和, 宮地 充子, “DoS攻撃に対するフィルタリング方式の検討,” Computer
Security Symposium, CSS2006-3A-3, pp. 149-154, Oct. 2006.
溝添 健次，宮地 充子, “固定点の（超）楕円スカラー演算の改良,” Computer Security
Symposium, CSS2006-2B-4, pp. 113-118, Oct. 2006.
長谷川 亙，双紙 正和，宮地 充子, “モバイルエージェントセキュリティにおける効率的な
通信方法,” The 2007 Symposium on Cryptography and Information Security (SCIS2007),
4F1-5, 2007.
今屋 雄太，宮地 充子，和田 宗臣，菅野 康治, “RC4のdigraph の統計的解析,” The 2007
Symposium on Cryptography and Information Security(SCIS2007), 2A2-4, 2007.
竹本 秀樹, 双紙 正和, 宮地 充子, “DoS攻撃に対する偽造耐性をもつ改良パケットマーキング法の
提案と評価,” Computer Security Group, 2007-DPS-130, 2007-CSEC-36, 2-C-18, pp. 103-110, 2007/3.
野村 奈央，宮地 充子，江村 恵太, “効率的な削除機能を持つグループ署名,” IEICE Japan Tech.
Rep., 2007/3.
江村 恵太，野村 明人，双紙 正和，宮地 充子, “特定ユーザに非効率性を集中させた分散情報が
選択可能な秘密分散法,” IEICE Japan Tech. Rep., ISEC2007-55, 2007/3.
溝添健次, 宮地充子, 亀井利明, “3つの基底を用いた効率的な楕円ベキ倍算,” IEICE Japan Tech.
Rep., ISEC2007-16, 2007/3.
高木孝幸，早稲田篤志，双紙正和，宮地充子，”マルチパーティ間における量子メモリを必要と
しない量子秘密分散法の検討,” IEICE Japan Tech. Rep., ISEC2007-57, 2007/3.
Jianguo Wei , Xugang Lu and Jianwu Dang, “Assessment of an optimized coarticulation model
based on simulation and observation,” Proc. of The 2006 Autumn Meeting of The Acoustical
Society of Japan, 1-6-4, pp. 161-162, Sep. 2006.
Jianguo Wei, Xugang Lu, Jianwu Dang, “Optimization and evaluation of a coarticulation
model based on observation and simulation,” Transactions on Technical Committee of
Psychological and Physiological Acoustics Vol.36, No.5, pp. 409-414, July 2006.
Jianguo Wei, Xugang Lu, Qiang Fang and Jianwu Dang, “Normalization of Vocal Tract Shape
Using Thin Plate Spline Method, ” Proc. of The 2007 Spring Meeting of The Acoustical
Society of Japan, 3-8-14, Mar. 2007.
Dongwen Ying, Xugang Lu, Jianwu Dang, “Noise Reduction based on Spectral Subtraction
in Noise Eigenspace,” Proc. of the 2006 Autumn Meeting of the Acoustical Society of
Japan, pp. 484 (1-2-16), Sep. 2006.
Dongwen Ying, Xugang Lu, Jianwu Dang, “A Voice Activity Detector for Robust Speech
Recognition,” Proc. of the 2007 Spring Meeting of the Acoustical Society of Japan,
pp. 1-P-8, Mar. 2007
Akikazu Nishikido and Jianwu Dang, “Comparison of observation and simulation on
articulatory and acousticaspects for five Japanese vowels,” IEICE Technical Report,
pp. 5-10, 2006.
Akikazu Nishikido and Jianwu dang, “Exploration of infrequent articulation based on a
physiological articulatory model,” Proc. of the 2007 Spring Meeting of the Acoustical
Society of Japan, 1-Q-28, 2007.
Qiang FANG, Jianwu DANG. “Speech Synthesis Based on a Physiological Articulatory Model,”
Proc. ISCSLP 2006, LNAI 4274, pp. 211-222, 2006.
Qinag FANG, Xugang LU, Jianwu DANG, ≪ Linguistic Information Aided Speech Inversion,”
Proc. of the 2007 Spring Meeting of the Acoustic Society of Japan, 2007.
三輪信介, 知念賢一, “リンクエミュレータの過渡解析 - dummynet制御における遅延 -,” IPSJ
Symposium Series Vol. 2006, No. 13, pp. 25-30, Nagasaki, Japan, Nov. 2006.
Razvan Beuran, Yoichi Shinoda, Shin-ichi Nakagawa, Junya Nakata, Toshiyuki Miyachi,
Ken-ichi Chinen and Yasuo Tan, “Performance Analysis of VoIP over WLAN,” Multimedia,
Distributed, Cooperative and Mobile Symposium (DICOMO) 2006, IPSJ, pp. 849-852, Kagawa,
Japan, Jul. 2006.
宮地利幸, 知念賢一, 篠田陽一, “ネットワーク支援システムに必要な機能と設定記述,”
マルチメディア，分散，協調とモバイル シンポジウム (DICOMO) 2006, 論文集,情報処理学会,
pp. 769-772, 香川, Jul. 2006.(ヤングリサーチャ賞受賞).
中川晋一, 三角真, 山岡克式, 酒井善則, “ネットワークにやさしい低頻度非同期ノード間通信に
よる, レイヤ2ネットワークボトルネック稼動状態推定法,” DEWS2006 Proceedings, 2b-o2, 2006.
