KONDO Hisashi

コンドウヒサシ | KONDO Hisashi

Affiliation and department：
Job title： Lecturer
Homepage URL (1)： http://www.ise.ibaraki.ac.jp/~kondo/

Research field (2)： Intelligent informatics , Information theory

Papers (19)：

ｍore...

MISC (4)：

OGATA Tatsuya, KONDO Hisashi, KURIHARA Masahito. Termination Verification System of Rewrite Rule Programs Using Binary Decision Diagram. 1997. 11. 108-111
M. Kurihara, H. Kondo and A. Ohuchi. Completion for multiple reduction ordering. 京都大学数理解析研究所,数理解析研究所講究録. 1995. 918. 172. 34-47
近藤久, 栗原正仁, 大内東. ATMS のデータ構造に基づいた複数の簡約順序を扱う完備化手続き,. 北海道大学工学部研究報. 1993. 166. p35-44
近藤久, 栗原正仁, 大内東. ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発 : 第2報. 全国大会講演論文集. 1990. 41. 3-4

Lectures and oral presentations (61)：

多目的可変長解表現人工蜂コロニーアルゴリズムの施設配置問題への適用
(第31回電気学会東京支部茨城支所研究発表会 2023)
ニューロエボリューションによる世界モデルの構築に関する研究
(第31回電気学会東京支部茨城支所研究発表会 2023)
グラフ埋め込みを用いた推薦システムに関する研究
(第31回電気学会東京支部茨城支所研究発表会 2023)
CycleGANによるスタイル変換を用いた古典未登場文字の生成に関する研究
(第31回電気学会東京支部茨城支所研究発表会 2023)
転移学習による効率的な世界モデルの構築に関する研究
(第31回電気学会東京支部茨城支所研究発表会 2023)

ｍore...

Education (1)：

Professional career (1)：

Association Membership(s) (4)：

IEEE-CS , 人工知能学会 , 日本ソフトウェア科学会 , 情報処理学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page