Akama Kiyoshi 赤間清

… Alternative Names

AKAMA Kiyoshi 赤間清

赤間清アカマキヨシ

Less

Researcher Number	50126265
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2016: 北海道大学, 情報基盤センター, 名誉教授 2015: 北海道大学, -, 名誉教授 2013 – 2014: 北海道大学, 情報基盤センター, 特任教授 2007 – 2009: 北海道大学, 大学院・情報科学研究科, 教授 2003 – 2008: Hokkaido University, Information Initiative Center, Professor, 情報基盤センター, 教授 … More 2006: 北海道大学, 大学院情報科学研究科, 教授 2002 – 2004: 北海道大学, 情報メディア教育研究綜合センター, 教授 2000 – 2003: 北海道大学, 情報メディア教育研究総合センター, 教授 1997 – 1998: 北海道大学, 大学院・工学研究科, 助教授 1997: 北海道大学, 大学院工学研究科, 助教授 1993 – 1996: 北海道大学, 工学部, 助教授 1989 – 1991: 北海道大学, 工学部, 助教授 1986 – 1988: 北海道大学, 文学部, 講師 Less
Review Section/Research Field	Principal Investigator Informatics / Intelligent informatics / Intelligent informatics / Media informatics/Database / Software Except Principal Investigator Psychology / Educational technology / 情報システム学(含情報図書館学) / Fundamental law / 広領域 / Informatics / New fields of law
Keywords	Principal Investigator 等価変換 / ルール生成 / プログラム変換 / 仮説推論 / 法的推論 / 自然言語処理 / 求解問題 / 仕様 / 最良優先探索 / Constraint logic programming … More / 制約論理型言語 / クラス束縛変数 / 制約付変数 / 論理構造 / 等価変換ルール / アンフォールド変換 / 関数変数 / モデルインターセクション問題 / 意味保存スコーレム化 / スコーレム化 / 正当性 / プログラム生成 / メタ計算 / メタルール / 等価変換パラダイム / ソフトウェア発展 / 知識処理 / コンパイラ / 宣言型計算モデル / Logic programming / Multiple inheritance / Variable with constraint / Inheritance hierarchy / Typed prolog / Class bound variable / 黒板 / 集合束縛変数 / 論理型言語 / 知識表現 / 論理プログラミング / 多重継承 / 継承階層 / タイプ付prolog / Priority / Program Transformation / Correctness / Specification / Definite Clause / Equivalent Transformation Rule / Meta-Rule / Program Synthesis / プログラム自動生成 / 優先度 / 確定節集合 / Programming language / Learning / Object / Natural language understanding / プログラム言語 / 学習 / オブジェクト / Constraint / Variable with Constraint / Representation of Meaning / Stepwise Refinement / Natural Language Processing / 自動プログラミング / 意味表現 / 段階的詳細化 / 節 / モデル・インターセクション問題 / 論理計算 / 意味保存 / 推論 / 証明問題 / ＫＲロジック / セマンテックＷｅｂ / 言語学習 / モデルインターセクション / 参照制約 / 並列プログラム生成 / 確定節除去変換 / 自然言語インターフェイス / ルール適用制御 / 意味理解 / 適応 / 例に導かれた探索 / 一般論理構造 / 論理等価式 / 質問応答問題 / 開世界問題 / セマンテックWeb / ワールド機構 / 進化的探索 / メタアトム / メタ節 / データ構造 / エクスパンド変換 / システム構築法 / 宣言的プログラム / 自然言語理解 / モジュラー性 / 否定 / 制約 / ルールの自動生成 / 条件付解答 / 不完全知識 / 仮想マシン / 等価変換プログラミング / 最適化問題 / 知識表現言語 / 最良解探索 / 情報の部分性 / 継承 / 確信度 / 時間制約 … More Except Principal Investigator XML / Calibration / Human Interface / Human Error / A model of memory-represen-tation generation / Paradoxical fall in repetitive learning / Similarity / An inductive learning system / Transformational structure theory / Knowledge formation / Pattern cognition / 翻訳 / 帰納的学習 / 群論的パターン認知 / パラドックス現象 / プライミング効果 / 知識構造 / 認知的多義性 / 逆説的下降現象 / 反復学習 / 学習システム / 世界認知 / 反復効果 / 記憶表象生成モデル / 逆説的下降 / 類似性 / 帰納的学習システム / 変換構造説 / 知識形成 / パターン認知 / postural sway analysis / perturbation of center of gravity / balance training / fall-prevention / sensory feedback / vibrotactile sensation / 教育工学 / 適応的指導 / 協調学習 / 教授法 / eラーニング / 問題学習 / Mesh Modeling / 5-axis Milling / Data Quality Assurance Model / CNC machining process model / Machining Feature Model / Product Model / Process Model / Digital Semantic Model / コミュニケーションシステム / デザインパターン / 加工プロセスモデル / 工具情報モデル / コミュニケーション / Functional Model / EXPRESS / デジタルセマンテック製品モデル / メッシュモデル / 5軸フライス加工 / 品質検証モデル / CNC加工プロセスモデル / 加工フィーチャモデル / 製品モデル / プロセスモデル / デジタルセマンテックモデル / Information technology / Legal principles / Fairness / Justice / Internet / Cyber / Intellectual property / Information-ownership / プライヴァシー / 情報 / 法規範 / サイバースペース / プログラミング / セマンティックWeb / 著作権 / 財物 / 社会秩序論 / 進化ゲーム / プログラムの自動合成 / セマンディックWeb / フェア・ユース / 著作権の制限 / 裁判外問題解決 / 規範の遺伝アルゴリズム / 規範の進化 / 情報技術 / 法原理 / 公平 / 正義 / インターネット / サイバー / 知的財産法 / 情報所有 / Characteristic Property of Human Information Processing / Cognitive Inertia / Mental Adaptation / Aged Society / High-technological Society / 認知過程 / 障害者 / 高齢者 / Human error / Human interface / ハイテク社会 / calibration / 人の情報処理特性 / 認知的慣性 / 知的適応 / humman interface / humman error / 高齢化社会 / ハイテク化社会 / cognitive psychology / cognitive processes / rhythm / perceptual organization / simulation model / music / cognitive science / 音楽音響解析 / 音楽心理学 / 調性 / リズム / メロディ / 認知モデル / 認知科学 / 記号処理的モデル / 音楽認知過程 / 言語理解課程 / テクスト / 認知課程 / 文脈処理 / 自然言語処理 / 推論 / 文章理解 / 危険の国際化 / 法の競争 / プロファイリング / ADR / 社会的優先財 / 情報格差 / RFIDタグ / 憲法的保護 / CGIプログラム / Webベースシステム / 財産的情報 / ユビキタス / 平等 / 仕様の変換 / Web ベースシステム / CGI プログラム / 個人情報漏洩 / 情報財 / フェロモン / Bluetooth / シノプティコン / パナプティコン / プライバシー / 情報利用の憲法的保護 / 信頼性 / Webアプリケーション Less

From "proof"+"inference" to "query-answering problems" + "equivalent transformation"Principal Investigator
- Principal Investigator
  
  Akama Kiyoshi
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  Hokkaido University
Research on Construction Technology of Semantic WebPrincipal Investigator
- Principal Investigator
  
  Akama Kiyoshi
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Hokkaido University
Construction of a Reliable System in Ubiquitous Computing Societies and the Protection of Privacy : an Approach by Legal Analysis and Information Technology.
- Principal Investigator
  
  HAYASHIDA Seimei
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  New fields of law
- Research Institution
  Hokkaido University
Research on Basic Technique for Construction of Adaptive Semantic WebPrincipal Investigator
- Principal Investigator
  
  AKAMA Kiyoshi
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Media informatics/Database
- Research Institution
  Hokkaido University
Development of a Collaborative e-Learning System and Educational Methods Based on Enquity-Based Learning and Adaptive Instruction Methodology
- Principal Investigator
  
  MAEDA Takashi
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Educational technology
- Research Institution
  Hokkaido Information University
メタ計算の進化的探索に基づく正当で効率的なプログラムの自動生成Principal Investigator
- Principal Investigator
  
  赤間清
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Software
- Research Institution
  Hokkaido University
Research on Digital semantic product model for product life cycle support
- Principal Investigator
  
  KISHINAMI Takeshi
- Project Period (FY)
  2002 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  情報システム学(含情報図書館学)
- Research Institution
  HOKKAIDO UNIVERSITY
Innovation of Information Technology and the Principles of Cyber Law Age---Legal and Technological Perspectives---
- Principal Investigator
  
  HAYASHIDA Seimei
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Fundamental law
- Research Institution
  Hokkaido University
Construction of Program Synthesis System Based on Equivalent TransformationPrincipal Investigator
- Principal Investigator
  
  AKAWA Kiyoshi
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  HOKKAIDO UNIVERSITY
ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究Principal Investigator
- Principal Investigator
  
  赤間清
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Hokkaido University
ソフトウェアの発展を可能にする等価変換に基づくシステム構築法の研究Principal Investigator
- Principal Investigator
  
  赤間清
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Hokkaido University
不完全知識下の法的推論の実現方法の研究Principal Investigator
- Principal Investigator
  
  赤間清
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Hokkaido University
等価変換に基づく知識処理システム構築方法の研究Principal Investigator
- Principal Investigator
  
  赤間清
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  Hokkaido University
柔軟で高速な法的推論の実現方法の研究Principal Investigator
- Principal Investigator
  
  赤間清
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Hokkaido University
プログラム変換に基づいた知識処理マシンの作成Principal Investigator
- Principal Investigator
  
  赤間清
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Hokkaido University
法的推論を基礎とした知識獲得支援システムの研究Principal Investigator
- Principal Investigator
  
  赤間清
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Hokkaido University
法律知識ベースの構築支援システムの研究Principal Investigator
- Principal Investigator
  
  赤間清
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Hokkaido University
A basic study of human behaviors in the high-technological and aged society
- Principal Investigator
  
  IMAI Shiro
- Project Period (FY)
  1990 – 1991
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  広領域
- Research Institution
  Hokkaido University
Constructing A Constraint Logic Programming Language Based on User Defined ObjectsPrincipal Investigator
- Principal Investigator
  
  AKAMA Kiyoshi
- Project Period (FY)
  1990 – 1991
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research (B)
- Research Field
  
  Informatics
- Research Institution
  Hokkaido University
Stepwise Refinement for Semantic Analysis of Natural Language SentencesPrincipal Investigator
- Principal Investigator
  
  AKAMA Kiyoshi
- Project Period (FY)
  1989 – 1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Hokkaido University
Construction of workbench system for cognitive-scientific study of music cognition and education.
- Principal Investigator
  
  ABE Jun-ichi
- Project Period (FY)
  1989 – 1991
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research
- Research Field
  
  Informatics
- Research Institution
  Hokkaido University
Development of Knowledge Representation Language Based on the Inheritance Hierarchy PrologPrincipal Investigator
- Principal Investigator
  
  AKAMA Kiyoshi
- Project Period (FY)
  1988 – 1989
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research (B).
- Research Field
  
  Informatics
- Research Institution
  Hokkaido University
理由づけ推論および話者世界想定の考えに基づくテクスト文脈処理アルゴリズムの研究
- Principal Investigator
  
  ABE Jun-ichi
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for Special Project Research
- Research Institution
  Hokkaido University
An integrated study of knowledge formation in a cognitive system
- Principal Investigator
  
  IMAI Shiro
- Project Period (FY)
  1986 – 1988
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  Psychology
- Research Institution
  Hokkaido Univerisyt

All 2016 2015 2014 2013 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article Presentation

[Journal Article] Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema2016
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Journal Title
  
  Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016)
  
  Volume: 2 Pages: 52-63
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540110
[Journal Article] Unfolding Existentially Quantified Sets of Extended Clauses2016
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Journal Title
  
  Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016)
  
  Volume: 2 Pages: 96-103
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540110
[Journal Article] A General Schema for Solving Model-Intersection Problemson on a Specialization System by Equivalent Transformation2015
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Journal Title
  
  Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
  
  Volume: 2 Pages: 38-49
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540110
[Journal Article] Function-variable Elimination and Its Limitations2015
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Journal Title
  
  Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
  
  Volume: 2 Pages: 212-222
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation2015
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Journal Title
  
  Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
  
  Volume: 2 Pages: 38-49
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] Function-variable Elimination and Its Limitations2015
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Journal Title
  
  Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
  
  Volume: 2 Pages: 212-222
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540110
[Journal Article] Deterministic Programs on Specialization Systems2014
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  International Journal of Innovative Computing, Information and Control
  
  Volume: Vol. 10, No. 5 Pages: 1653-1667
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] Constructing Knowledge Representation Systems with First-Order Formulas2014
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida
- Journal Title
  
  Journal of Industrial and Intelligent Information
  
  Volume: Vol.3, No.3 Pages: 238-245
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] Equivalent Transformation in an Extended Space for Solving Query-Answering Problems2014
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: LNAI 8397 Pages: 232-241
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540110
[Journal Article] Deterministic Programs on Specialization Systems2014
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  International Journal of Innovative Computing, Information and Control
  
  Volume: Vol. 10, No. 5 Pages: 1653-1667
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540110
[Journal Article] Equivalent Transformation in an Extended Space for Solving Query-Answering Problems2014
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  Lecture Notes in Artificial Intelligence (LNAI 8397, ISSN: 0302-9743)
  
  Volume: LNAI 8397 Pages: 232-241
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] ET-based Bidirectional Search for proving Formulas in the Class ES2014
- Author(s)
  Katsunori Miura and Kiyoshi Akama
- Journal Title
  
  International Journal of Innovative Computing, Information and Control
  
  Volume: Vol.10, No.6
- NAID
  120005649802
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES2013
- Author(s)
  Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike
- Journal Title
  
  International Journal of Innovative Computing, Information and Control
  
  Volume: Vol. 9, No. 11 Pages: 4419-4430
- NAID
  120005649801
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS2013
- Author(s)
  Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike
- Journal Title
  
  International Journal of Innovative Computing, Information and Control
  
  Volume: Vol. 9, No. 6 Pages: 2635-2650
- NAID
  120005649800
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] Unfolding-Based Simplification of Query-Answering Problems in an Extended Clause Space2013
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Journal Title
  
  International Journal of Innovative Computing, Information and Control
  
  Volume: Vol. 9, No. 9 Pages: 3515-3526
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] A Formal Methodology for Behavioral Modelling and Synthesis of Data-driven Rich Internet Applications2009
- Author(s)
  POWELL, C., AKAMA, Kiyoshi, NAKAMURA, K., KOIKE, H.
- Journal Title
  
  Proc.10th International Conference on Intelligent Technologies (In Tech'09)
  
  Pages: 121-130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Generating Functionality-based Rules for Program Construction2009
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Journal Title
  
  International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.9(掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Generating Functionality-based Rules for Program Construction2009
- Author(s)
  MIURA, Katsunori, AKAMA, Kiyoshi, MABUCHI, Hiroshi
- Journal Title
  
  International Journal of Innovative Computing, Information & Control Vol. 5, No. 9
  
  Pages: 2463-2479
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Creation of ET Rules from Logical Formulas representing Equivalent Relations2009
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Journal Title
  
  International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.2
  
  Pages: 263-277
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Generating Functionality-based Rules for Program Construction2009
- Author(s)
  MIURA, Katsunori, AKAMA, Kiyoshi, MABUCHI, Hiroshi
- Journal Title
  
  International Journal of Innovative Computing, Information & Control Vol.5, No.9
  
  Pages: 2463-2479
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Towards a Formal Behavioral Model for Rich Internet Applications2009
- Author(s)
  POWELL, C., AKAMA, Kiyoshi, NAKAMURA, K.
- Journal Title
  
  Proc.International Conference on Computational Intelligence and Software Engineering (CiSE) Vol. 3
  
  Pages: 1-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Towards a Formal Behavioral Model for Rich Internet Applications2009
- Author(s)
  POWELL, C., AKAMA, Kiyoshi, NAKAMURA, K.
- Journal Title
  
  Proc.International Conference on Computational Intelligence and Software Engineering(CiSE) Vol.3
  
  Pages: 1-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] A Formal Methodology for Behavioral Modelling and Synthesis of Data-driven Rich Internet Applications2009
- Author(s)
  POWELL, C., AKAMA, Kiyoshi, NAKAMURA, K., KOIKE, H.
- Journal Title
  
  Proc.10th International Conference on Intelligent Technologies(InTech'09)
  
  Pages: 121-130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Meaning-Preserving Skolemization on Logical Structures2008
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08)
  
  Pages: 123-132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] An Intuitive, Flexible, Formal Specification Language Based on Equivalent Transformation2008
- Author(s)
  Courtney Powell, Kiyoshi Akama
- Journal Title
  
  Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08)
  
  Pages: 113-122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Extension of logical structures by safe extension of specialisation systems2008
- Author(s)
  Kiyoshi Akama, and Ekawit Nantaeewarawat
- Journal Title
  
  Int. J. Automation and Control Vol. 2, Nos. 2/3
  
  Pages: 340-364
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Algorithmic Debugging of Equivalent Transformation Programs Based on Differences in Certainty of Rules2008
- Author(s)
  Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi
- Journal Title
  
  Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08)
  
  Pages: 103-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Generating Speq Rules based on Automatic Proof of Logical Equivalence2008
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Journal Title
  
  International Journal of Computer Science (IJCS) vol.3, no.3
  
  Pages: 190-198
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] 発展するeラーニングシステム2007
- Author(s)
  加藤克宜, 赤間清, 中村佳祐
- Journal Title
  
  信学技報 Vol. 107、 No. 392
  
  Pages: 109-114
- NAID
  110006549292
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] State-Transition Computation Models and Program Correctness Thereon2007
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.11, No.10
  
  Pages: 1250-1261
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] 発展するeラーニングシステム2007
- Author(s)
  加藤克宜、赤間清、中村佳祐
- Journal Title
  
  信学技報 Vol.107, No.392
  
  Pages: 109-114
- NAID
  110006549292
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Construction of Equivalent Transformation Rules from Logical Equivalence2007
- Author(s)
  K.Miura, K.Akama and H.Mabuchi
- Journal Title
  
  Proceedings of the 8th International Conference on Intelligent Technologies In Tech'07
  
  Pages: 237-243
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Conceptual Modeling and Transformation of Dynamic Interactive Systems2007
- Author(s)
  C.Powell and K.Akama
- Journal Title
  
  Proceedings of the 8th International Conference on Intelligent Technologies In Tech'07
  
  Pages: 35-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method2007
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  PSI 2006, LNCS 4378
  
  Pages: 41-54
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] 発展するeラーニングシステム2007
- Author(s)
  加藤克宜、赤間清、中村佳祐
- Journal Title
  
  信学技報 Vol.107 No.392
  
  Pages: 109-114
- NAID
  110006549292
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method, PSI 2006, LNCS 43782007
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat and Hidekatsu Koike
- Journal Title
  
  Springer-Verlag Berlin Heidelberg,
  
  Pages: 41-54
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Expanding Transformation : A Basis for Correctness Verification of Rewriting Rules2007
- Author(s)
  Ekawit Nantajeewarawat, Kiyoshi Akama, and Hidekatsu Koike
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.11, No.5
  
  Pages: 478-490
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method2007
- Author(s)
  AKAMA, Kiyoshi, NANTAJEEWARAWAT, Ekawit&KOIKE, Hidekatsu
- Journal Title
  
  Perspectives of Systems Informatics Vol.4378
  
  Pages: 41-54
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method2007
- Author(s)
  AKAMA, Kiyoshi, NANTAJEEWARAWAT, Ekawit, KOIKE, Hidekatsu
- Journal Title
  
  Perspectives of Systems Informatics Vol.4378
  
  Pages: 41-54
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] メタ計算に基づくプログラム生成実験システム2007
- Author(s)
  西田好孝、赤間清、小池英勝
- Journal Title
  
  信学技報 Vol.107 No.392
  
  Pages: 31-36
- NAID
  110006549279
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] メタ計算に基づくプログラム生成実験システム2007
- Author(s)
  西田好孝、赤間清、小池英勝
- Journal Title
  
  電子情報通信学会技術研究報告 Vol.107,No.392
  
  Pages: 31-36
- NAID
  110006549279
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Extension of Logical Structures by Safe Extension of Specialization Systems2007
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 8th International Conference on Intelligent Technologies(InTech'07)
  
  Pages: 228-236
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] 発展するeラーニングシステム2007
- Author(s)
  加藤克宜、赤間清、中村佳祐
- Journal Title
  
  電子情報通信学会技術研究報告 Vol.107 No.392
  
  Pages: 109-114
- NAID
  110006549292
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Conceptual Modeling and Transformation of Dynamic Interactive Systems2007
- Author(s)
  COURTNEY, Powell & AKAMA, Kiyoshi
- Journal Title
  
  Proceedings of the 8th International Conference on Intelligent Technologies (InTech'07)
  
  Pages: 35-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Toward a Software Development Model for Automatic Marking Software2007
- Author(s)
  H.Koike, K.Akama, C.Ishikawa, N.Nakamura and S.Watanabe
- Journal Title
  
  Proc.of ACM Special Interest Group on University and College Computing Services Fall2007Conference
  
  Pages: 190-193
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Conceptual Modeling and Transformation of Dynamic Interactive Systems2007
- Author(s)
  C.Powell and K.Akama
- Journal Title
  
  Proceedings of the 8th International Conference on Intelligent Technologies InTech'07
  
  Pages: 35-44
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method2007
- Author(s)
  AKAMA, Kiyoshi, NANTAJEEWARAWAT, Ekawit, KOIKE, Hidekatsu
- Journal Title
  
  Perspectives of Systems Informatics Vol. 4378
  
  Pages: 41-54
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] メタ計算に基づくプログラム生成実験システム2007
- Author(s)
  西田好孝, 赤間清, 小池英勝
- Journal Title
  
  信学技報 Vol. 107、No. 392
  
  Pages: 31-36
- NAID
  110006549279
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] メタ計算に基づくプログラム生成実験システム2007
- Author(s)
  西田好孝、赤間清、小池英勝
- Journal Title
  
  信学技報 Vol.107, No.392
  
  Pages: 31-36
- NAID
  110006549279
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method2007
- Author(s)
  K.Akama, E.Nantajeewarawat and H.Koike
- Journal Title
  
  PSI 2006 LNCS4378
  
  Pages: 41-54
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Construction of Equivalent Transformation Rules from Logical Equivalence2007
- Author(s)
  K.Miura, K.Akama and H.Mabuchi
- Journal Title
  
  Proceedings of the 8th International Conference on Intelligent Technologies InTech'07
  
  Pages: 237-243
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Program Genera tion in the Equivalent Transformation Computation Model Using the Squeeze Method2007
- Author(s)
  K. Akama, E. Nantajeewarawat, H. Koike
- Journal Title
  
  PSI2006 4378
  
  Pages: 41-54
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Formalization of the Equivalent Transformation Computation Model2006
- Author(s)
  Akama, K.
- Journal Title
  
  Journal of Advanced Computational Intelligence and Itelligent Informatics Vol.10, No.3
  
  Pages: 245-259
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Modeling and implementation of Digital Semantic Models for 5-axis machining application2006
- Author(s)
  Fumiki Tanaka, Masahiko Onosato, Takeshi Kishinami, Kiyoshi Akama, Makoto Yamada, Tsukasa Kondo, Satoshi Mistui
- Journal Title
  
  Proc. SICE-ICCAS2006
  
  Pages: 2233-2238
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Converting Constraint Handling Rules into Equivalent Transformation Rules2006
- Author(s)
  Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3
  
  Pages: 339-348
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Generation of Correct Parallel Programs Based on Specializer Generation Transformations2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  
  Pages: 90-99
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Componentwise Program Construction : Requirements and Solutions2006
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
- Journal Title
  
  WSEAS Transactions on Information Science and Applications Issue 7, Volume 3
  
  Pages: 1214-1221
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Componentwise Program Construction : Requirements and Solutions2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  WSEAS Transactions on Information Science and Applications 7・3
  
  Pages: 1214-1221
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Generation of Correct Parallel Programs Based on Specializer Generation Transformations2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  
  Pages: 90-99
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model2006
- Author(s)
  Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3
  
  Pages: 302-311
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference
  
  Pages: 17-24
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Componentwise Program Construction : Requirements and Solutions2006
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
- Journal Title
  
  WSEAS Transactions on Information Science and Applications 7(3)
  
  Pages: 1214-1221
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Formalization of the Equivalent Transformation Computation Model2006
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)
  
  Pages: 245-259
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Componentwise Program Construction : Requirements and Solutions2006
- Author(s)
  Akama, K.
- Journal Title
  
  WSEAS Transactions on Information Scicncc and Applications Issue 7, Volume 3
  
  Pages: 1214-1221
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Componentwise Program Construction : Requirements and Solutions2006
- Author(s)
  AKAMA, Kiyoshi, NANTAJEEWARAWAT, Ekawit, KOIKE, Hidekatsu
- Journal Title
  
  WSEAS Transactions on Information Science and Applications Issue 7 Vol.3
  
  Pages: 1214-1221
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Componentwise Program Construction : Requirements and Solutions2006
- Author(s)
  AKAMA, Kiyoshi, NANTAJEEWARAWAT, Ekawit, KOIKE, Hidekatsu
- Journal Title
  
  WSEAS Transactions on Information Science and Applications Issue 7, Vol. 3
  
  Pages: 1214-1221
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Logical Structures on Specialization System : Formalization and Satisfiability-Preserving Transformation2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  
  Pages: 100-109
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Formalization of the Equivalent Transformation Computation Model2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics 10・3
  
  Pages: 245-259
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Formalization of the Equivalent Transformation Computation Model2006
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3
  
  Pages: 245-259
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation2006
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidemi Ogasawara
- Journal Title
  
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  
  Pages: 100-109
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Semantic Query Optimization : Correctness and Control、Pongtawat Chippimolchai2006
- Author(s)
  Kiyoshi Akama, Vilas Wuwongse
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)
  
  Pages: 270-280
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Using an Automatic Marking System for Programming Courses2006
- Author(s)
  Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura
- Journal Title
  
  Proc. of ACM Special Interest Group on University and College Computing Services (SIGUCCS)
  
  Pages: 173-177
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference
  
  Pages: 17-24
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Formalization of the Equivalent Transformation Computation Model2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)
  
  Pages: 245-259
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Formalization of the Equivalent Transformation Computation Model2006
- Author(s)
  Kiyoshi Akama, and Ekawit Nantajeewarawat
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3
  
  Pages: 245-259
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Developing software platform for Checking Quality of shape data of STEP product model for CAD/CAM environment2006
- Author(s)
  Fumiki Tanaka, Takeo Iwata, Kiyoshi Akama, Takeshi Kishinami, Masahiko Onosato
- Journal Title
  
  Proc. of 16th International Conference on Flexible Automation and Intelligent Manufacturing
  
  Pages: 823-830
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method, Perspectives of System Informatics2006
- Author(s)
  Akama, K.
- Journal Title
  
  Six International Andrei Ershov Memorial Conference
  
  Pages: 27-30
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] Semantic Query Optimization : Correctness and Control 、Pongtawat Chippimolchai2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)
  
  Pages: 270-280
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method2006
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
- Journal Title
  
  Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference
  
  Pages: 17-24
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Semantic Query Optimization : Correctness and Control2006
- Author(s)
  P ongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3
  
  Pages: 270-280
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Componentwise Program Construction : Requirements and Solutions2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  WSEAS Transactions on Information Science and Applications 7(3)
  
  Pages: 1214-1221
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation2006
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  
  Pages: 100-109
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model2006
- Author(s)
  Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)
  
  Pages: 302-311
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Componentwise Program Construction : Requirements and Solutions2006
- Author(s)
  AKAMA, Kiyoshi, NANTAJEEWARAWAT, Ekawit, KOIKE, Hidekatsu
- Journal Title
  
  WSEAS Transactions on Information Science and Applications, Issue7 Vol.3
  
  Pages: 1214-1221
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Basic Built-In functions for Web Services in the ET Language2006
- Author(s)
  CHENG, Zheng, KATOU, Katsunori, AKAMA, Kiyoshi
- Journal Title
  
  WSEAS Transactions on Information Science and Applications Lssue 7 Vol.3
  
  Pages: 1389-1395
- Data Source
  KAKENHI-PROJECT-18330019
[Journal Article] Converting Constraint Handling Rules into Equivalent Transformation Rules2006
- Author(s)
  Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)
  
  Pages: 339-348
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Generation of Correct Parallel Programs Based on Specializer Generation Transformations2006
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
  
  Pages: 90-99
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] The Squeeze Method - A Method for Program Construction in the EquivalentTransformation Computation Model2005
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies
  
  Pages: 198-206
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] The Squeeze Method - A Method for Program Construction in the Equivalent Transformation Computation Model2005
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies (In Tech '05)
  
  Pages: 198-206
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] State-Transition Computation Models and Program Correctness Thereon Proceedings of the 6th international conference on intelligent technologies2005
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies (InTech'05)
  
  Pages: 277-286
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] A Programming Language Interpreter System Based on Equivalent Transformation2005
- Author(s)
  Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
- Journal Title
  
  2005 IEEE 9th International Conference on Intelligent Engineering Systems
  
  Pages: 283-288
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] State-Transition Computation Models and Program Correctness Thereon2005
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies(InTech'05)
  
  Pages: 277-286
- Data Source
  KAKENHI-PROJECT-16650003
[Journal Article] The Squeeze Method 〜 A Method for Program Construction in the Equivalent Transformation Computation Model2005
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies (InTech'05)
- Data Source
  KAKENHI-PROJECT-17300271
[Journal Article] State-Transition Computation Models and Program Correctness Thereon2005
- Author(s)
  Ekawit Nantajeewarawat, Kiyoshi Akama
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies
  
  Pages: 277-286
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] State-Transition Computation Models and Program Correctness Thereon2005
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies (In Tech '05)
  
  Pages: 277-286
- Data Source
  KAKENHI-PROJECT-17300027
[Journal Article] Parallel Processing Method based on Equivalent Transformation2005
- Author(s)
  Hidemi Ogasawara, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi, Yusuke Saito
- Journal Title
  
  2005 IEEE 9th International Conference on Intelligent Engineering Systems
  
  Pages: 111-116
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] The Squeeze Method-A Method for Program Construction in the Equivalent Transformation Computation Model2005
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies
  
  Pages: 198-206
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] The Squeeze Method - A Method for Program Construction in the Equivalent Transformation Computation Model2005
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies
  
  Pages: 198-206
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] The Squeeze Method - A Method for Program Construction in the Equivalent Transformation Computation Model2005
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies(InTech'05)
  
  Pages: 198-206
- Data Source
  KAKENHI-PROJECT-16650003
[Journal Article] Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005
- Author(s)
  Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
- Journal Title
  
  Proc. of the 2005 International Conference on Artificial Intelligence Vol.II
  
  Pages: 627-633
- NAID
  110003276974
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005
- Author(s)
  Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
- Journal Title
  
  Proc.of the 2005 International Conference on Artificial Intelligence Vol.II
  
  Pages: 627-633
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] A Programming Language Interpreter System Based on Equivalen Transformation2005
- Author(s)
  Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
- Journal Title
  
  2005 IEEE 9th International Conference on Intelligent Engineering Systems
  
  Pages: 283-288
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Transformation of Equivalent transformation Rules into Correct Concurrent Programs2005
- Author(s)
  Hidemi Ogasawara, Kiyoshi Akama
- Journal Title
  
  Proceedings of the 6th international conference on intelligent technologies
  
  Pages: 34-42
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Formalization Of The Equivalent Transformation Computations Model2004
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04) 、Houston USA (2004. 12)
  
  Pages: 190-199
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] A Comparison of Constraint Handling Rules with Equivalent Transformation Rules2004
- Author(s)
  Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa
- Journal Title
  
  Proceedings of the international conference on algorithmic mathematics and computer science (ISBN: 1-932415-34-3), CSREA Press
  
  Pages: 345-351
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Formalization Of The Equivalent Transformation Computations Model2004
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proc.of the Fifth International Conference on Intelligent Technologies
  
  Pages: 190-199
- Data Source
  KAKENHI-PROJECT-16650003
[Journal Article] Dynamic Interaction Of Syntactic And Semantic Analyses Based On The Equivalent Transformation Computation Model2004
- Author(s)
  Hidekatsu Koike, Kiyoshi Akama, Ernest Boyd, Hiroshi Mabuchi
- Journal Title
  
  Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)
  
  Pages: 210-217
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Formalization Of The Equivalent Transformation Computations Model2004
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proc.of the Fifth International Conference on Intelligent Technologies
  
  Pages: 190-199
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Semantic Query Optimization : Correctness And Control2004
- Author(s)
  Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse
- Journal Title
  
  Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)
  
  Pages: 200-209
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Converting Constraint Handling Rules Into Equivalent Transformation Rules2004
- Author(s)
  Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
- Journal Title
  
  Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)
  
  Pages: 218-225
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Formalization Of The Equivalent Transformation Computations Model2004
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Journal Title
  
  Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)
  
  Pages: 190-199
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Design of Termination for Non-Deterministic Programs Based On the Equivalent Transformation Computation Model2004
- Author(s)
  Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi
- Journal Title
  
  Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)
  
  Pages: 226-235
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model2004
- Author(s)
  Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani
- Journal Title
  
  Proceedings of the international conference on algorithmic mathematics and computer science (ISBN: 1-932415-34-3), CSREA Press
  
  Pages: 391-395
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems2004
- Author(s)
  Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta
- Journal Title
  
  Proceedings of the international conference on artificial intelligence Volume I (ISBN:1-932415-31-9), CSREA Press
  
  Pages: 306-309
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Correct Computation with Multi-Head Rules in the Equivalent Transformation Framework2003
- Author(s)
  Pongtawat Chippimolchai, Kiyoshi Akama, Takahiko Ishikawa, Vilas Wuwongse
- Journal Title
  
  Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)
  
  Pages: 531-538
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] XML declarative description with negative constraints2003
- Author(s)
  Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama
- Journal Title
  
  INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Program Generation and Computation in the ET Paradigm2003
- Author(s)
  Kiyoshi Akama
- Journal Title
  
  Proceedings of The International Symposium on Computational Intelligence and Intelligent Informatics 2003 (ISCIII'03)
  
  Pages: 276-282
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Constraint Solving Specializations for Equality on an Interval-Variable Domain2003
- Author(s)
  Mabuchi, H, Akama, K., Koike, H., Ishikawa, T.
- Journal Title
  
  Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)
  
  Pages: 161-170
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm2003
- Author(s)
  Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3) 7(3)
  
  Pages: 260-267
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Formalization of Computation Models in View of Program Synthesis2003
- Author(s)
  Akama, K., Nantajeewarawat, E.
- Journal Title
  
  Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)
  
  Pages: 507-516
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] XML Declarative Description with First-Order Logical Constraints2003
- Author(s)
  C.Anutariya, V.Wuwongse, K.Akama
- Journal Title
  
  Workshop on "Knowledge Grid and Grid Intelligence"
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Solving Constraint Satisfaction Problems based on Equivalent Transformation2003
- Author(s)
  Mabuchi, H., Akama, K., Koike, H., Ishikawa, T.
- Journal Title
  
  Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)
  
  Pages: 152-160
- NAID
  110003276839
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation2003
- Author(s)
  Mabuchi, H, Akama, K., Ishikawa, T., Koike, H
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3) 7(3)
  
  Pages: 306-314
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Formalization of Computation Models in View of Program Synthesis2003
- Author(s)
  Akama, K
- Journal Title
  
  Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)
  
  Pages: 507-516
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Journal Article] Program Generation and Computation in the ET Paradigm2003
- Author(s)
  Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
- Journal Title
  
  Proceedings of The International Symposium on Computational Intelligence and Intelligent Informatics 2003 (ISCIII'03)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14102032
[Presentation] 推論から等価変換へ2016
- Author(s)
  赤間　清
- Organizer
  電子情報通信学会（システム数理と応用研究会）
- Place of Presentation
  海峡メッセ下関(山口県・下関市)
- Year and Date
  2016-03-03
- Invited
- Data Source
  KAKENHI-PROJECT-26540110
[Presentation] 推論から等価変換へ2016
- Author(s)
  赤間　清
- Organizer
  電子情報通信学会（システム数理と応用研究会）
- Place of Presentation
  海峡メッセ下関(山口県・下関市)
- Year and Date
  2016-03-03
- Invited
- Data Source
  KAKENHI-PROJECT-25280078
[Presentation] Embedding Proof Problems into Query-Answering Problems and Problem Solving by Equivalent Transformation2013
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Organizer
  5th International Conference on Knowledge Engineering and Ontology Development (KEOD 2013)
- Place of Presentation
  Tivoli Marina Vilamoura (Portugal)
- Data Source
  KAKENHI-PROJECT-25280078
[Presentation] Solving Query-Answering Problems for the Semantic Web Using Equivalent Transformation2013
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat and Hidekatsu Koike
- Organizer
  2nd International Conference on Software and Computer Applications (ICSCA 2013)
- Place of Presentation
  Timhotel (Paris, France)
- Data Source
  KAKENHI-PROJECT-25280078
[Presentation] Solving Query-Answering Problems Using All-Solution Satisfiability Solvers: Algorithm and Correctness2013
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Organizer
  Third World Congress on Information and Communication Technologies (WICT 2013)
- Place of Presentation
  Le Quy Don Technical University (Hanoi, Vietnam)
- Data Source
  KAKENHI-PROJECT-25280078
[Presentation] An ET-Based Low-Level Solution for Query-Answering Problems2013
- Author(s)
  Kiyoshi Akama and Ekawit Nantajeewarawat
- Organizer
  Multi-Disciplinary Trends in Artificial Intelligence, 7th International Workshop (MIWAI 2013)
- Place of Presentation
  Krabi Heritage Hotel (Thailand)
- Data Source
  KAKENHI-PROJECT-25280078
[Presentation] Creation of ET Rules via Logical Equivalence2009
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Organizer
  Proceeding of the Second International Conference on Innovative Computing, Information and Control (ICICIC2007), ICICIC-2007-2149, JAPAN ISBN : 0-7695-2882-1
- Place of Presentation
  Kumamoto
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Conceptual Modelling and Program Generation for Dynamic Interactive Systems2008
- Author(s)
  C. Powell, Kiyoshi Akama, and T. Wakatsuki
- Organizer
  The 9th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2008)
- Place of Presentation
  Dunedin, New Zealand
- Year and Date
  2008-12-02
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Meaning-Preserving Skolemization on Logical Structures2008
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Organizer
  Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08)
- Place of Presentation
  Samui, Thailand
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] An Intuitive, Flexible, Formal Specification Language Based on Equivalent Transformation2008
- Author(s)
  POWELL, C., AKAMA, Kiyoshi
- Organizer
  the 9^<th> International Conference on Intelligent Technologies (InTech `08)
- Place of Presentation
  Samui, Thailand
- Year and Date
  2008-10-08
- Data Source
  KAKENHI-PROJECT-18330019
[Presentation] An Intuitive, Flexible, Formal Specification Language Based on Equivalent Transformation2008
- Author(s)
  POWELL, C., AKAMA, Kiyoshi
- Organizer
  the 9th International Conference on Intelligent Technologies (In Tech '08)
- Place of Presentation
  Samui, Thailand
- Year and Date
  2008-10-08
- Data Source
  KAKENHI-PROJECT-18330019
[Presentation] Conceptual Modelling and Program Generation for Dynamic Interactive Systems2008
- Author(s)
  POWELL, C., AKAMA, Kiyoshi & WAKATSUICE, T.
- Organizer
  The 9^<th> International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'08)
- Place of Presentation
  University of Otago, New Zealand
- Year and Date
  2008-12-02
- Data Source
  KAKENHI-PROJECT-18330019
[Presentation] Conceptual Modeling and Program Generation for Dynamic Interactive Systems2008
- Author(s)
  Courtney Powell, Kiyoshi Akama
- Organizer
  The Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'08)
- Place of Presentation
  Dunedin, New Zealand
- Year and Date
  2008-12-02
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] A trial product of Multimedia-LMS for design From system specification2008
- Author(s)
  K. Nakamura, K. Akama
- Organizer
  Proc. of GCOE-NGIT 2008
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300271
[Presentation] An Intuitive, Flexible, Formal Specification Language Based on Equivalent Transformation2008
- Author(s)
  POWELL, C. & AKAMA, Kiyoshi
- Organizer
  The 9th International Conference on Intelligent Technologies (InTech '08)
- Place of Presentation
  Samui, Thailand
- Year and Date
  2008-10-08
- Data Source
  KAKENHI-PROJECT-18330019
[Presentation] Construction of Equivalent Transformation Rules from Logical Equivalence2007
- Author(s)
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- Organizer
  Proceedings of the Eighth International Conference on Intelligent Technologi es (InTech'07)
- Place of Presentation
  Sydney, Australia
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] To-ward a Software Development Model for Automatic Marking Software2007
- Author(s)
  H. Koike, K. Akama, C. Ishikawa, N. Nakamura, S. Watanabe
- Organizer
  Proc. of ACM Special Interest Group on University and College Computing Services, Fall 2007 Conference
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300271
[Presentation] Conceptual Modeling and Transform ation of Dynamic Interactive Systems2007
- Author(s)
  C. Powell, K. Akama
- Organizer
  Proc. of the 8th International Conf. on Intelligent Technologies, InTech'07
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300271
[Presentation] Solving Logic Problem with ET rules2007
- Author(s)
  Zheng Cheng, Kiyoshi Akama, Ekawit Nantajeewarawat
- Organizer
  Proceedings of the Eighth International Conference on Intelligent Technolog ies (InTech'07)
- Place of Presentation
  Sydney, Australia
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Extension of Logical Structures by Safe Extension of Specialization Systems2007
- Author(s)
  Kiyoshi Akama, and Ekawit Nantajeewarawat
- Organizer
  Proceedings of the 8th International Conference on Intelligent Technologies (InTech'07)
- Place of Presentation
  Sydney, Australia
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Construction of Equiv alent Transformation Rules from Logical Equivalence2007
- Author(s)
  K. Miura, K. Akama, H. Mabuchi
- Organizer
  Proc. of the 8th International Conf. on Intelligent Technologies, InTech'07
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300271
[Presentation] Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence2006
- Author(s)
  Katsunori Miura, Kiyoshi Akama, Yoshinori Shigeta, and Hiroshi Mabuchi
- Organizer
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
- Place of Presentation
  Taipei Taiwan
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation2006
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat and Hidemi Ogasawara
- Organizer
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
- Place of Presentation
  Taipei Taiwan
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method2006
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
- Organizer
  Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference
- Place of Presentation
  Novosibirsk, Akademgorodok, Russia
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Developing an E-Learning System Which Enhances Students' Academic Motivation2005
- Author(s)
  H. Koike, K. Akama, M. Chiba, Takahiko, Ishikawa, K. Miura
- Organizer
  Proc. of ACM Special Interest Group on University and College Computing Services(SIGUCCS) Fall 2005 Conference
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300271
[Presentation] The Squeeze Method -A Method for Program Construction in the Equivalent Transformation Computation Model2005
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
- Organizer
  Proceedings of the 6th international conference on intelligent technologies (InTech'05)
- Place of Presentation
  Phuket, Thailand
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] State-Transition Computation Models and Program Correctness Thereon2005
- Author(s)
  Kiyoshi Akama, and Ekawit Nantajeewarawat
- Organizer
  Proceedings of the 6th international conference on intelligent technologies (InTech'05)
- Place of Presentation
  Phuket, Thailand
- Data Source
  KAKENHI-PROJECT-17300027
[Presentation] Equivalent Transformation in an Extended Space for Solving Query-Answering Problems
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Organizer
  6th Asian Conference, ACIIDS 2014
- Place of Presentation
  Bangkok (Thailand)
- Year and Date
  2014-04-07 – 2014-04-09
- Data Source
  KAKENHI-PROJECT-25280078
[Presentation] Constructing Knowledge Representation Systems with First-Order Formulas
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida
- Organizer
  ICFIT 2014
- Place of Presentation
  Bangkok (Thailand)
- Year and Date
  2014-10-10 – 2014-10-12
- Data Source
  KAKENHI-PROJECT-25280078
[Presentation] Solving Query-Answering Problems with If-and-Only-If Formulas
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Organizer
  KEOD2014
- Place of Presentation
  Rome (Italy)
- Year and Date
  2014-10-21 – 2014-10-24
- Data Source
  KAKENHI-PROJECT-26540110
[Presentation] Multiple-World Extension of Clausal Logical Structures
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida
- Organizer
  ADVCOMP 2014
- Place of Presentation
  Ｒｏｍｅ (Italy)
- Year and Date
  2014-08-24 – 2014-08-28
- Data Source
  KAKENHI-PROJECT-26540110
[Presentation] Constructing Knowledge Representation Systems with First-Order Formulas
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida
- Organizer
  ICFIT 2014
- Place of Presentation
  Bangkok (Thailand)
- Year and Date
  2014-10-10 – 2014-10-12
- Data Source
  KAKENHI-PROJECT-26540110
[Presentation] Multiple-World Extension of Clausal Logical Structures
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida
- Organizer
  ADVCOMP 2014
- Place of Presentation
  Rome (Itaｌy)
- Year and Date
  2014-08-24 – 2014-08-28
- Data Source
  KAKENHI-PROJECT-25280078
[Presentation] Solving Query-Answering Problems with If-and-Only-If Formulas
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Organizer
  KEOD 2014
- Place of Presentation
  Rome (Itaｌy)
- Year and Date
  2014-10-21 – 2014-10-24
- Data Source
  KAKENHI-PROJECT-25280078
[Presentation] Equivalent Transformation in an Extended Space for Solving Query-Answering Problems
- Author(s)
  Kiyoshi Akama, Ekawit Nantajeewarawat
- Organizer
  ACIIDS 2014
- Place of Presentation
  Bangkok (Thailand)
- Year and Date
  2014-04-07 – 2014-04-09
- Data Source
  KAKENHI-PROJECT-26540110

1. 川口雄一 (60234051)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
2. UNEMI Tatsuo (50151915)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. WATANABE Shinya (70210903)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. MUNETOMO Masaharu (00281783)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. HAYASHIDA Seimei (50145356)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. OTA Shozo (40152136)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. MATSUMURA Yoshiyuki (80091502)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. NITTA Katsumi (60293073)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. HASEGAWA Ko (90164813)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. ABE Jun-ichi (40091409)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. IFUKUBE Toru (70002102)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. IMAI Shiro (70000586)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. ITO Susumu (00107228)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. MABUCHI Hiroshi (20281545)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
15. SAITO Masaaki (60301868)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. ARAKI Kenji (50202742)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. MIURA Katsunori (50636587)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. TAYAMA Tadayuki (50163704)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. HOSHINO Etsuko (10219165)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. MOMOUCHI Yoshio (90002237)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. SHINOTSUKA H. (30000615)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. NIHEI Y. (10007833)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. IWAMOTO T. (10000605)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. MIZUTA Masahiro (70174026)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. TAMURA Yoshiyuki (20197586)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. KISHINAMI Takeshi (30001796)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
27. YAMADA Makoto (20210479)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
28. TANAKA Fumiki (30207138)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
29. MISTUI Satoshi (00219669)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
30. KONDO Tsukasa (40292049)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
31. MAEDA Takashi (40001317)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. SAITO Kenji (60326569)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. KOIKE Hidekatsu (60405636)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
34. SAITO Hajime (40337077)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. SUTO Noboru (40154611)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. SAITO Takayuki (70113561)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. TKIGAWA Tetsuo (30098503)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 山本強 (80158287)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. 金子勇 (50113212)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 大山信義 (90001809)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. 金井理 (90194878)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. Sirindhorn Ekawit Nantajeewarawat

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. 三浦克宜

# of Collaborated Projects: 0 results

# of Collaborated Products: 3 results

Akama Kiyoshi 赤間 清

AKAMA Kiyoshi 赤間 清

赤間 清 アカマ キヨシ

Research Projects

Research Products

Co-Researchers

From "proof"+"inference" to "query-answering problems" + "equivalent transformation"Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Construction Technology of Semantic WebPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Basic Technique for Construction of Adaptive Semantic WebPrincipal 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

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction of Program Synthesis System Based on Equivalent TransformationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

ソフトウェアの発展を可能にする等価変換に基づくシステム構築法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

不完全知識下の法的推論の実現方法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

等価変換に基づく知識処理システム構築方法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

柔軟で高速な法的推論の実現方法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Akama Kiyoshi 赤間清

AKAMA Kiyoshi 赤間清

赤間清アカマキヨシ