Jump to main content

yr 〜
yr

Search results 4

形式言語理論の自然言語処理への応用

形式言語理論の自然言語処理への応用
Paper図書
笠井, 琢美, 電気通信大学1998-2001<Y151-H10680341>
National Diet Library
  • Subject Heading形式言語理論 木オートマトン 機械翻訳 TAG 文脈自由木オートマトン ...

抽象化学系のふるまいに関する研究

抽象化学系のふるまいに関する研究
Paper図書
鈴木, 泰博, 東京医科歯科大学1999-2000<Y151-H11837005>
National Diet Library
  • Subject Heading抽象化学反応系 膜計算モデル マルチセツト書き換え系 分子コンピユーテイング P Systems 形式言語理論 数理生物学 化学生態学

低いレベルの計算量クラスの完全問題の研究

低いレベルの計算量クラスの完全問題の研究
Paper図書
笠井, 琢美, 電気通信大学1995-1997<Y151-H07680344>
National Diet Library
  • Subject Heading計算量 完全問題 近似アルゴリズム 形式言語理論 自然言語処理 グラフアルゴリズム グラフ同型問題 マージン...

形式言語理論に基づく静的解析法とその安全性検査への応用 : 平成23年度実績報告書

形式言語理論に基づく静的解析法とその安全性検査への応用 : 平成23年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2012
Available onlineOther Libraries in Japan
  • Subject Headingソフトウェア検証 形式言語理論 モデル検査

Reached to the end of result.

RSS