論文

公開件数: 19 件
No. 掲載種別 単著・共著区分 タイトル 著者 誌名 出版者 巻号頁 出版日 ISSN DOI URL 概要
1 研究論文(学術雑誌)
共著
人工蜂コロニーアルゴリズムによるランダムフォレストとサポートベクトルマシンのハイパーパラメータの最適化と特徴選択
近藤 久,浅沼由馬
人工知能学会論文誌
人工知能学会
34/ 2, 1-11
2019




2 研究論文(学術雑誌)
共著
A Metaheuristic Algorithm with Hybrid Insertion Procedure for the Traveling Salesman Problem
Takahiro Hoshino, Chuan Tian, Hisashi Kondo, Kazuhiro Tsuboi, Yoshio Hamamatsu
International Journal of Computer Science Issues

13/ 3, 1-8
2016/06
1694-0814



3 研究論文(学術雑誌)
共著
多目的GAによる複雑ネットワーク生成
近藤 久,鴇崎和宏
情報処理学会論文誌

50/ 9, 2382-2394
2009




4 研究論文(学術雑誌)
共著
Efficient BDD Endodings for Partial Order Constraints with Application to Expaert Systems in Software Verification
Masahito Kurihara, Hisashi Kondo
Lecture Note in Computer Science

3029, 827-837
2004/06




5 研究論文(学術雑誌)

Completion for Multiple Reduction Orderings(共著)

Journal of Automated Reasoning

23, 25-42
1999




6 研究論文(学術雑誌)

Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains(共著)

Lecture Notes in Artificial Intelligence

1747, 353-364
1999




7 研究論文(学術雑誌)

二分決定グラフを用いた項書換え系の停止性検証システム(共著)

人工知能学会誌

13/ 5, 154-166
1998




8 研究論文(学術雑誌)
共著
Completion for Multiple Reduction orderings, Springer
M. Kurihara, H. Kondo and A. Ohuchi
Lecture Notes in Computer Science

914, 71-85
1995




9 研究論文(学術雑誌)
共著
複数の簡約順序のもとでの項書換えシステム完備化手続き
近藤 久,栗原正仁,大内 東
電子情報通信学会論文誌

J78-D-I/ 1, 1-10
1995




10 研究論文(学術雑誌)
共著
Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs, International Journal of Software Engineering and Knowledge Engineering
M. Kurihara, H. Kondo and A. Ohuchi
International Journal of Software Engineering and Knowledge Engineering

2/ 4, 547-565
1992




11 研究論文(学術雑誌)
共著
Reason Maintenance System による項書き換えシステムの停止性検証の効率化
近藤 久,栗原正仁,大内 東
情報処理学会論文誌

32/ 9, 1046-1056
1991




12 研究論文(国際会議プロシーディングス)
共著
Dynamic Control of Curve-constrained
Hyper-Redundant Manipulators
Shugen Ma, MitsuruWatanabe and Hisashi Kondo
Proc. of 2001 IEEE International Symposium on Computational
Intelligence in Robotics and Automation


2001/07




13 研究論文(国際会議プロシーディングス)

BDD Encoding for Partial Order Constraints and Its Application to Software Verification
M. Kurihara and H. Kondo
Proc. of IEEE International Conf. System, Man and Cybernetics

2062-2067
2000/10




14 研究論文(国際会議プロシーディングス)
共著
Design and Heuristics for BDD-based Automated Termination
Verification System for Rule-based Programs
H. Kondo and M. Kurihara:
Proc. of 1999 IEEE International Conf.
on Systems, Man and Cybernetics

V, 738-743
1999




15 研究論文(国際会議プロシーディングス)

Binary Decision Diagrams for Mechanical Verification of
Precedence-Based Termination of Rewrite Rules
M. Kurihara and H. Kondo
Proc. of 5th Pacific Rim Int.
Conf. on Artificial Intelligence

7-12
1998




16 (MISC)総説・解説(大学・研究所紀要)
共著
Completion for multiple reduction ordering
M. Kurihara, H. Kondo and A. Ohuchi
京都大学数理解析研究所,数理解析研究所講究録

918/ 172, 34-47
1995




17 (MISC)総説・解説(大学・研究所紀要)
共著
ATMS のデータ構造に基づいた複数の簡約順序を扱う完備化手続き,
近藤 久,栗原正仁,大内 東
北海道大学工学部研究報

166
1993




18 研究論文(国際会議プロシーディングス)
共著
Termination Verifier of Term Rewriting Systems
with Reason Maintenance System
H. Kondo, M. Kurihara and A. Ohuchi
Proc. of The 4th Japanese-Sino Sapporo International
Conf. on Computer Applications

5-8
1990




19 研究論文(国際会議プロシーディングス)
共著
Using ATMS to Efficiently Verify the Termination
of Term Rewriting Systems
M. Kurihara, H. Kondo and A. Ohuchi
Proc. of Pacific Rim International Conf. on Artificial
Intelligence

456-461
1990