INAGAKI Yasuyoshi 稲垣康善

Researcher Number	10023079
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2010: Toyohashi University of Technology, 大学院・工学研究科, 副学長 2010: 豊橋技術科学大学, 大学院・工学研究科, 理事 2009: Toyohashi University of Technology, 工学部, 理事 2008: Toyohashi University of Technology, 工学部, 理事・副学長 2003 – 2006: 愛知県立大学, 情報科学部, 教授 … More
Review Section/Research Field	Principal Investigator 計算機科学 / Intelligent informatics / 計算機工学 / Intelligent informatics / Software / Informatics Except Principal Investigator Informatics / 計算機科学 / 計算機工学 / Science and Engineering / Intelligent informatics
Keywords	Principal Investigator 自己認識論理 / 項書換え系 / プログラミング環境 / 音声言語処理 / CCS / 非単調論理 / 属性継承 / 決定手続き / メタ知識 / 談話理解 … More Except Principal Investigator CCS / アルゴリズム / 木パタ-ンマッチング / 並行計算 / 項書換え系 / 並行プロセス / concurrent computation / concurrent process / term rewriting system / 代数的仕様 / algebraic specification / メタプログラミング / メタ等式論理 / 書換え型計算モデル / 構造帰納法 / 平均計算量 / 確率モデル / 充足可能性問題 / 頂点被覆問題 / 知能 / 知識 / 高次推論 / 類推 / 定性的推論 / 自然言語 / 自動プログラミング / 問題解決 / 高次コミュニケーション / 知能インタフェース / 人間ー機械システム / 知的コミュニケーション / 知的情報処理システム / 等式言語 / 項マッチング / Equational language / Term matching / Tree pattern matching / 関数型計算モデル / ブロ-ドキャスト / ナロ-イング / 並行プセス / 動的項書換計算 / 動的項書換 / 論理型計算モデル / 同期通信 / Functional computation model / broadcast / narrowing / dynamic term rewriting calculas / メタ計算 / 書換え計算 / 検証 / 帰納的定理 / 被覆集合帰納法 / meta computation / rewriting computation / verification / inductive theory / cover set induction / ソフトウェアセキュリテイ / プログラミング・プロトコル検証 / 安全なプログラミング言語 / 安全なオペレーティング / ウィルス / 成りすまし / 安全なメールシステム / サイバーセキュリティ / ソフトウェアセキュリティ / 安全な情報基盤 / プログラム検証 / プログラム言語処理系 / オペレーティングシステム / ソース解析・型理論 / メモリ安全 / ソフト技術 / 形式的検証法 / ソフトウェア記述系 / ソフトウェア実行機構 / メールシステム / 内部評価 / 社会基盤システム / セキュアコンピューティング / 安全なソフトウエア / ソフトウエアの検証 / プログラミング言語設計 / ソフトウエアインフラストラクチャ / 研究の推進 / 総括班会議 / Software security / Program / protocol verification / Safe programming languages / Safe operating systems / viruses / impersonalization / Safe mail systems / Cyber security / 自然言語処理 / 構文解析 / 有限オートマトン / 同時通訳 / 音声言語 / コーパス / 文脈自由文法 / 有限オートマン / natural language processing / parsing / finite state automaton / algorithm / simultaneous interpretation / spoken language / corpus / context free grammar / 非停止プロセス / 等式論理 / 代数的仕様記述 / nonterminating process / equational logic / tree pattern matching Less

Simultaneous interpreting system based on segmentation, translation and connection of spoken sentencesPrincipal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Toyohashi University of Technology
Multilingual coprus of program and its document-from the viewpoint of "Software = program + document"-Principal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Aichi Prefectural University
Robust Incremental Parsing based on Finite-State Approximation of Context Free Grammar
- Principal Investigator
  
  OGAWA Yasuhiro
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya University
Secure Programming Languages Based on Mobile Code
- Principal Investigator
  
  YONEZAWA Akinori
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
Formal specification description of multi-modal interface and its verificationPrincipal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya University
Study of Multi-Modal Interface based on Simultaneous Understanding of Spoken LanguagePrincipal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya University
Fundamental Study on Distributed and Cooperative Software Development in Very High Speed Network EnvironmentPrincipal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  計算機科学
- Research Institution
  Nagoya University
A Fundamental Research for Formal Models and Verification Techniques of Open SoftwarePrincipal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Nagoya University
Fundamental research on algebraic meta-programming
- Principal Investigator
  
  HAMAGUCHI Takeshi
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Nagoya University
日本語‐ウイグル語機械翻訳のための電子辞書の作成Principal Investigator
- Principal Investigator
  
  稲垣康善
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya University
関数型言語のユーザインターフェースに関する基礎的研究Principal Investigator
- Principal Investigator
  
  稲垣康善
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Nagoya University
Implementing Visual Programming Environment for Rewriting ComputationPrincipal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi, 坂部俊樹
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  計算機科学
- Research Institution
  Nagoya University
アルゴリズムの平均計算量に関する基礎的研究
- Principal Investigator
  
  平田富夫
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Nagoya University
不完全情報下における知識の表現とモジュール化に関する研究Principal Investigator
- Principal Investigator
  
  稲垣康善
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nagoya University
メタ等式プログラミングに関する基礎的研究
- Principal Investigator
  
  坂部俊樹
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Nagoya University
不完全情報下における知識の表現とモジュール化に関する研究Principal Investigator
- Principal Investigator
  
  稲垣康善
- Project Period (FY)
  1992 – 1993
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nagoya University
Foundamental Study on Fundational Model of Concurrent Computation
- Principal Investigator
  
  SAKABE Toshiki
- Project Period (FY)
  1990 – 1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Nagoya University
人間と機械における学習・推論と認知プロセスに関する研究Principal Investigator
- Principal Investigator
  
  稲垣康善
- Project Period (FY)
  1989
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nagoya University
A Study of Term Matching in the Equational Language Processor
- Principal Investigator
  
  HIRATA Tomio
- Project Period (FY)
  1989 – 1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Nagoya University
人間と機械における学習・推論と認知プロセスに関する研究Principal Investigator
- Principal Investigator
  
  稲垣康善
- Project Period (FY)
  1988
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nagoya University
Abstraction of Nonterminating Processes and Its Algebraic Specification
- Principal Investigator
  
  SAKABE Toshiki
- Project Period (FY)
  1988 – 1989
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Nagoya University
人間・機械・システム協調のための高次コミュユケーションに関する基礎的研究
- Principal Investigator
  
  野口正一
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for Co-operative Research (B)
- Research Institution
  Tohoku University
代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究Principal Investigator
- Principal Investigator
  
  稲垣康善
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Nagoya University
自然言語とコンピュータソフトウェアの基本問題に関する日米協力研究
- Principal Investigator
  
  福村晃夫
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for Overseas Scientific Research
Cellular space approaches to parallel processingPrincipal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  1987 – 1989
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  計算機工学
- Research Institution
  Nagoya University
Developmental Studies on Software Development Environment Based on Algebraic Specification MethodPrincipal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  1987 – 1988
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research
- Research Field
  
  Informatics
- Research Institution
  Nagoya University
知的処理機構の研究
- Principal Investigator
  
  志村正道
- Project Period (FY)
  1986
- Research Category
  
  Grant-in-Aid for Special Project Research
- Research Institution
  Tokyo Institute of Technology
An Algebraic Approach to the Specification and Verification of Parallel Computation SystemPrincipal Investigator
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  1985 – 1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Nagoya University

All 2010 2009 2008 2007 2006 2005 2004

All Journal Article Presentation Patent

[Journal Article] 英日同時翻訳のための依存構造に基づく訳文生成手法2009
- Author(s)
  笠浩一朗, 松原茂樹, 稲垣康善
- Journal Title
  
  電子情報通信学会論文誌 Vol.J92-D, No.6
  
  Pages: 921-933
- NAID
  110007328848
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300058
[Journal Article] 節の始境界検出に基づく独話文の係り受け解析2009
- Author(s)
  大野誠寛, 松原茂樹, 柏岡秀紀, 稲垣康善
- Journal Title
  
  情報処理学会論文誌 Vol.50, No.2
  
  Pages: 553-562
- NAID
  110007970351
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300058
[Journal Article] 節境界に基づく独話の漸進的係り受け解析2007
- Author(s)
  大野誠寛, 松原茂樹, 柏岡秀紀, 加藤直人, 稲垣康善
- Journal Title
  
  電子情報通信学会論文誌 Vol. J90-D,No. 2
  
  Pages: 556-566
- NAID
  120003189983
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] 節境界に基づく独話の漸進的係り受け解析2007
- Author(s)
  大野誠寛, 松原茂樹, 柏岡秀紀, 加藤直人, 稲垣康善
- Journal Title
  
  電子情報通信学会論文誌 Vol. J90-D,No. 2
  
  Pages: 556-566
- NAID
  120003189983
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] Machine Execution of Type Inference for JavaScript Based on Model-Generation Theorem Prover2006
- Author(s)
  Hirotaka OHKUBO, Shinichiro YAMAMOTO, Toshiki SAKABE, Yasuyoshi INAGAKI
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.J89-D, No. 4
  
  Pages: 693-704
- NAID
  110007380433
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] モデル生成法に基づくJavaScriptプログラム型検査の機械実行2006
- Author(s)
  大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
- Journal Title
  
  電子情報通信学会論文誌 Vol. J89-D,No. 4
  
  Pages: 693-704
- NAID
  110007380433
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] モデル生成法に基づくJavaScriptプログラム型検査の機械実行2006
- Author(s)
  大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
- Journal Title
  
  電子情報通信学会論文誌 Vol. J89-D,No.4
  
  Pages: 693-704
- NAID
  110007380433
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] 依存構造に基づくコーパス検索2006
- Author(s)
  加藤芳秀, 松原茂樹, 稲垣康善
- Journal Title
  
  電子情報通信学会論文誌 Vol. J89-D,No. 12
  
  Pages: 2766-2770
- NAID
  110007380411
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] CIAIR Simultaneous Interpretation Corpus2005
- Author(s)
  H.Tohyama, S.Matsubara, K.Ryu, N.Kawaguchi, Y.Inagaki
- Journal Title
  
  Proceedings of Oriental COCOSDA-2004 Vol.II
  
  Pages: 72-77
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] モデル生成に基づくJavaScriptプログラムの型検査系2005
- Author(s)
  大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
- Journal Title
  
  電子情報通信学会技術研究報告 SS2005-11
  
  Pages: 25-30
- NAID
  110003277353
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] A JavaScript Type Checker based on Model Generation Theorem Prover2005
- Author(s)
  Hirotaka OHKUBO, Toshiki SAKABE, Shinichiro YAMAMOTO, Yasuyoshi INAGAKI
- Journal Title
  
  IEICE Technical Report Vol.SS2005-11
  
  Pages: 25-30
- NAID
  110003277353
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] モデル生成に基づくJavaScriptプログラムの型検査系2005
- Author(s)
  大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
- Journal Title
  
  電子情報通信学会技術研究報告 SS2005-11
  
  Pages: 25-30
- NAID
  110003277353
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16200001
[Journal Article] CIAIR Simultaneous Interpretation Corpus2004
- Author(s)
  H.Tohyama, S.Matsubara, K.Ryu, N.Kawaguchi, Y.Inagaki
- Journal Title
  
  Proceedings of Oriental COCOSDA-2004 Vol. II
  
  Pages: 72-77
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16200001
[Patent] 同時翻訳用有限状態トランスデユーサの作成装置2004
- Inventor(s)
  松原茂樹, 稲垣康善, 笠浩一朗
- Industrial Property Rights Holder
  財団法人名古屋産業科学研究所
- Industrial Property Number
  2004-216878
- Filing Date
  2004-07-26
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300044
[Patent] 同時翻訳用有限状態トランスデューサの作成装置2004
- Inventor(s)
  松原茂樹, 稲垣康善, 笠浩一朗
- Industrial Property Rights Holder
  財団法人名古屋産業科学研究所
- Industrial Property Number
  2004-216878
- Filing Date
  2004-07-26
- Data Source
  KAKENHI-PROJECT-15300044
[Presentation] Construction of Chunk-Aligned Bilingual Lecture Corpus for Simultaneous Machine Translation2010
- Author(s)
  村田匡輝, 大野誠寛, 松原茂樹, 稲垣康善
- Organizer
  The 7th International Conference on Language Resources and Evaluation (LREC 2010)
- Place of Presentation
  マルタ共和国
- Data Source
  KAKENHI-PROJECT-20300058
[Presentation] 文中の接続助詞「が」に着目した翻訳単位間の意味関係の推定2010
- Author(s)
  酒井浩之, 松原茂樹, 増山繁, 稲垣康善
- Organizer
  言語処理学会第16回年次大会
- Place of Presentation
  東大(東京都)
- Data Source
  KAKENHI-PROJECT-20300058
[Presentation] Translation Unit for Simultaneous Japanese-English Spoken Dialogue Translation2010
- Author(s)
  Koichiro Ryu, Shigeki Matsubara, Yasuyoshi Inagaki
- Organizer
  The 2nd International Symposium on Intelligent Decision Technologies (IDT 2010)
- Place of Presentation
  米国
- Data Source
  KAKENHI-PROJECT-20300058
[Presentation] 講演の同時翻訳のための対訳データの作成と分析2009
- Author(s)
  村田匡輝, 大野誠寛, 松原茂樹, 稲垣康善
- Organizer
  第8回情報科学技術フォーラム
- Place of Presentation
  東北工大(宮城県)
- Data Source
  KAKENHI-PROJECT-20300058
[Presentation] Dependency Parsing of Japanese Spoken Monologue Based on Clause-Starts Detection2008
- Author(s)
  Tomohiro Ohno, Shigeki Matsubara,, Hideki Kashioka, Yasuyoshi Inagaki
- Organizer
  The 9th Conference in the Annual Series of Interspeech Events(Interspeech 2008)
- Place of Presentation
  オーストラリア
- Data Source
  KAKENHI-PROJECT-20300058

1. SAKABE Toshiki (60111829)

# of Collaborated Projects: 17 results

# of Collaborated Products: 0 results
2. HIRATA Tomio (10144205)

# of Collaborated Projects: 8 results

# of Collaborated Products: 0 results
3. TOYAMA Katsuhiko (70217561)

# of Collaborated Projects: 6 results

# of Collaborated Products: 0 results
4. YUEN Shoji (70230612)

# of Collaborated Projects: 6 results

# of Collaborated Products: 0 results
5. KAWAGUCHI Nobuo (10273286)

# of Collaborated Projects: 6 results

# of Collaborated Products: 0 results
6. MATSUBARA Shigeki (20303589)

# of Collaborated Projects: 5 results

# of Collaborated Products: 12 results
7. SAKAI Masahiko (50215597)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
8. YONEZAKI Naoki (00126286)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. YAMAMOTO Shinichiro (40240098)

# of Collaborated Projects: 3 results

# of Collaborated Products: 6 results
10. ITO Takayasu (80124551)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
11. 杉野花津江 (40023155)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
12. YONEZAWA Akinori (00133116)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. AGUSA Kiyoshi (90026360)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. ASO Hirotomo (10005522)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. 小野寛晰 (90055319)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
16. 渡辺豊英 (80093342)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
17. 馮速 (90262881)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
18. NAOI Tohru (10207699)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. ARAKI Keijiro (40117057)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. AJISAKA Tsuneo (30175864)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. OCHIMIZU Koichiro (10022310)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. TOHMA Yoshihiro (50016317)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. HAMAGUCHI Takeshi (90273284)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. KAJITA Shoji (30273296)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. ANZAI Yuichiro (40051875)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. KATAYAMA Takuya (70016468)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. MIZOGUCHI Fumio (50084463)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. OGAWA Yasuhiro (70332707)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. MUHTAR Mahsut (20283517)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. OHKUBO Hirotaka (40295580)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. YAMAMURA Tsuyoshi (00242826)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. TESHIMA Shigeharu (50394599)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. GOTO Munehiro (00021585)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. HARAO Masateru (00006272)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. NAKAMURA Akira (50034400)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. YOSHIDA Yuji (50023247)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. 加藤芳秀 (20362220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 笠浩一朗 (40397451)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
39. 大野誠寛 (20402472)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
40. 酒井浩之 (70402659)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
41. 志村正道 (30029409)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. 堂下修司 (00025925)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. 斉藤忠夫 (30010789)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. 有川節夫 (40037221)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. 野口正一 (80006220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
46. 相磯秀夫 (90051250)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
47. 安田靖彦 (40013106)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
48. 池田克夫 (30026009)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
49. 鳥居宏次 (10172222)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
50. 佐伯元司 (80162254)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
51. 田中英彦 (60011102)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
52. 福村晃夫 (60022985)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
53. 山梨正明 (80107086)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
54. 長尾真 (30025960)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
55. 辻井潤一 (20026313)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
56. 田中穂積 (80163567)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
57. 佐藤雅彦 (20027387)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
58. 郡司隆男 (10158892)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
59. 岡田直之 (80037837)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
60. 椎野努

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
61. 太田義勝

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
62. OHTA Yoshikatsu

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
63. SHIINO Tsutomu

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

INAGAKI Yasuyoshi 稲垣 康善

Research Projects

Research Products

Co-Researchers

Simultaneous interpreting system based on segmentation, translation and connection of spoken sentencesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Multilingual coprus of program and its document-from the viewpoint of "Software = program + document"-Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Formal specification description of multi-modal interface and its verificationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of Multi-Modal Interface based on Simultaneous Understanding of Spoken LanguagePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Fundamental Study on Distributed and Cooperative Software Development in Very High Speed Network EnvironmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Fundamental Research for Formal Models and Verification Techniques of Open SoftwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

日本語‐ウイグル語機械翻訳のための電子辞書の作成Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

関数型言語のユーザインターフェースに関する基礎的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementing Visual Programming Environment for Rewriting ComputationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

不完全情報下における知識の表現とモジュール化に関する研究Principal Investigator

Principal Investigator

INAGAKI Yasuyoshi 稲垣康善