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 2002: 名古屋大学, 大学院・工学研究科, 教授 1997 – 2002: Dept.of Engineering Nagoya Univ., Professor, 工学研究科, 教授 2000: 名古屋大学, 大学院・工学系研究科, 教授 1997: 名古屋大学, 大学院・工学研究科, 教授 1995 – 1996: 名古屋大学, 工学部, 教授 1986 – 1993: 名古屋大学, 工学部, 教授 1986: Faculty of Engineering, Nagoya University, 工学部, 教授 Less
Review Section/Research Field	Principal Investigator 計算機科学 / 計算機工学 / Intelligent informatics / Informatics / Software / Intelligent informatics Except Principal Investigator Informatics / 計算機科学 / Intelligent informatics / Science and Engineering / 計算機工学
Keywords	Principal Investigator 項書換え系 / 自己認識論理 / CCS / 音声言語処理 / プログラミング環境 / CSP / マルチモーダルインタフェース / 検証 / 形式的仕様記述 / 自然言語処理 … More / 同時通訳 / 関数型言語 / 視覚化 / 談話理解 / メタ知識 / 決定手続き / 属性継承 / 非単調論理 / Prototyping / Term rewriting system / Direct implementation / Type constructor / Data type / Algebraic specification / Software / 段階的詳細化 / プロトタイピング / 直接実現 / 型構成子 / データ型 / 代数的仕様記述 / ソフトウェア / Parallel processing / Systolic array / Cellular automata / Cellular information processing system / シストリックアレー / セルオートマトン / 並列処理 / シストリックアレ- / セルオ-トマトン / セル構造情報処理系 / Temporal Logic / Verification of Specification / Algebraic Specification Method / Concurrent System / Parallel Computation System / シストリックアルゴリズム / 通信プロトコルの仕様記述 / 時相論理 / 仕様の検証 / 代数的仕様記述法 / 並列計算システム / identifier naming assist / corpus searching / dependency structure / CASE tool platform / software repository / comment sentence / correspondence of identifiers / compound word division / オントロジー / 文字列出現頻度に基づく単語分割 / 翻訳文の対応付け / クエリ自動生成 / 用例検索 / 差分抽出 / Support Vector Machine / 情報抽出 / 命名作業支援 / コーパス検索 / 依存構造 / CASEツール・プラットフォーム / ソフトウェアリポジトリ / コメント文 / 識別子の対応付け / 単語分割 / database / evaluation experiment / task domain / in-car spoken dialogue / user interface / dialogue model / knowledge model / user model / マルチエージェント / 意図理解 / 漸進的解釈 / 音声対話コーパス / データペース / 被験者実験 / データベース / 評価実験 / タスクドメイン / 車内音声対話 / ユーザインタフェース / 対話モデル / 知識モデル / ユーザモデル / Spoken Dialogue / Spoken Language Understanding / Spontaneous Reply / Simultaneous Understanding / Incremental Interpretation of Natural Language / Natural Language Processing / Spoken Language Processing / Multi-Modal Interface / 図形エディタ / 音声対話 / 話し言葉理解 / 即時応答 / 発話同時理解 / 自然言語の漸進的解釈 / マルチモーダルインターフェイス / Debuggin Procedure / Programming Environment / Formal Semantics / Communicating Processes / Concurrency / メタ計算モデル / 実時間システム / 並行システム / ネットワーク / デバッグ / 形式意味論 / 通信プロセスモデル / 並行プログラミング / formal model / agent / network environment / network protocol / software process / hypergeometric distribution model / LOTOS specification / requirement acquistion / 実時間並行プロセスモデル / 進捗モデル / ソフトウェア文書 / 形式モデル / エージェント / ネットワーク環境 / ソフトウェアプロセス / LOTOS仕様 / 超幾何分布モデル / ソフトウェア信頼性モデル / 要求獲得 / algebraic programming / computational model / functional language / programming environment / visual support environment / process algebra / rewriting computation / term rewriting system / 被覆集合帰納法 / 帰納的定理 / 代数的仕様 / 実時間並行計算 / プログラム変換 / 並行計算 / 書換え計算 / 代数的プログラミング / 計算モデル / 視覚的支援 / プロセス代数 / 書換え計算モデル / 可視化 / 概念定義プロセスの定式化 / 時間概念を含む推論方式 / 非単論推論 / 共有知識 / 知識と信念の論理 / 階層的知識表現 / 帰納的推論 / 学習 / 抽象データ型 / 項書き換え系の意味論 / モニタ / 並行プログラム / 並列計算 / 構文構造 / 対話処理 / 係り受け構造 / 対話システム / 音声ドキュメント / システム評価 / 翻訳単位 / 機械学習 / 文分割 / コーパス / 意味解析 / 構文解析 / 音声言語 / 機械翻訳 / ユーザインターフェース / ウイグル語‐日本語機械翻訳 / ウイグル語‐日本語電子化辞書 / 構成性原理 / 概念定義プロセスの形式化 / 時区間論理式 / 時間的概念を含む推論方式 / weak S5 / 信念の理論 / 階層的知識構造 / デフォルト論理 … More Except Principal Investigator CCS / algebraic specification / 代数的仕様 / term rewriting system / concurrent process / concurrent computation / 並行プロセス / 項書換え系 / 並行計算 / 木パタ-ンマッチング / アルゴリズム / tree pattern matching / equational logic / nonterminating process / 代数的仕様記述 / 等式論理 / 非停止プロセス / context free grammar / corpus / spoken language / simultaneous interpretation / algorithm / finite state automaton / parsing / natural language processing / 有限オートマン / 文脈自由文法 / コーパス / 音声言語 / 同時通訳 / 有限オートマトン / 構文解析 / 自然言語処理 / Cyber security / Safe mail systems / impersonalization / viruses / Safe operating systems / Safe programming languages / protocol verification / Program / Software security / 総括班会議 / 研究の推進 / ソフトウエアインフラストラクチャ / プログラミング言語設計 / ソフトウエアの検証 / 安全なソフトウエア / セキュアコンピューティング / 社会基盤システム / 内部評価 / メールシステム / ソフトウェア実行機構 / ソフトウェア記述系 / 形式的検証法 / ソフト技術 / メモリ安全 / ソース解析・型理論 / オペレーティングシステム / プログラム言語処理系 / プログラム検証 / 安全な情報基盤 / ソフトウェアセキュリティ / サイバーセキュリティ / 安全なメールシステム / 成りすまし / ウィルス / 安全なオペレーティング / 安全なプログラミング言語 / プログラミング・プロトコル検証 / ソフトウェアセキュリテイ / cover set induction / inductive theory / verification / rewriting computation / meta computation / 被覆集合帰納法 / 帰納的定理 / 検証 / 書換え計算 / メタ計算 / dynamic term rewriting calculas / narrowing / broadcast / Functional computation model / 同期通信 / 論理型計算モデル / 動的項書換 / 動的項書換計算 / 並行プセス / ナロ-イング / ブロ-ドキャスト / 関数型計算モデル / Tree pattern matching / Term matching / Equational language / 項マッチング / 等式言語 / 知的情報処理システム / 知的コミュニケーション / 人間ー機械システム / 知能インタフェース / 高次コミュニケーション / 問題解決 / 自動プログラミング / 自然言語 / 定性的推論 / 類推 / 高次推論 / 知識 / 知能 / 頂点被覆問題 / 充足可能性問題 / 確率モデル / 平均計算量 / 構造帰納法 / 書換え型計算モデル / メタ等式論理 / メタプログラミング 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] モデル生成法に基づくJavaScriptプログラム型検査の機械実行2006
- Author(s)
  大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
- Journal Title
  
  電子情報通信学会論文誌 Vol. J89-D,No. 4
  
  Pages: 693-704
- NAID
  110007380433
- Description
  「研究成果報告書概要(和文)」より
- 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
- 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] モデル生成に基づくJavaScriptプログラムの型検査系2005
- Author(s)
  大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
- Journal Title
  
  電子情報通信学会技術研究報告 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
- 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] 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] 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
- Data Source
  KAKENHI-PROJECT-15300044
[Patent] 同時翻訳用有限状態トランスデユーサの作成装置2004
- Inventor(s)
  松原茂樹, 稲垣康善, 笠浩一朗
- Industrial Property Rights Holder
  財団法人名古屋産業科学研究所
- Industrial Property Number
  2004-216878
- Filing Date
  2004-07-26
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300044
[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] 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] 講演の同時翻訳のための対訳データの作成と分析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 稲垣康善