赤間 清

Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification 

Proceedings of the 2003 Genetic and Evolutionary Computation Conference (GECCO-2003) Part2 LNCS2724, pp.1616-1617 2003年  

A Parallel Genetic Algorithm Based on Linkage Identification 

Proceedings of the 2003 Genetic and Evolutionary Computation Conference (GECCO-2003) Part 1 LNCS2723, pp.1222-1233 2003年  

等価変換型プログラミング言語ＥＴの導入による学習の構想 

日本教育工学会論文誌 vol.27 suppl, pp45-48 2003年  

How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm 

Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3) Vol.7, No.3, pp.260--267 2003年  

Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation 

Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3) Vol.7, No.3, pp.306--314 2003年  

負制約の等価変換による問題解決の基礎理論 

人工知能学会誌 Vol.17, No.4,A,pp.354--362 2002年  

区間変数に関する包含制約の等価変換 

人工知能学会誌 Vol.17, No.1,C,pp.23--31 2002年  

リンケージ同定を導入した遺伝的アルゴリズムによる都市圏ネットワークの設計 

情報処理学会論文誌「数理モデル化と応用」 Vol.43, No.SIG7(TOM6), pp.80-91 2002年  

遺伝的アルゴリズムによる帯域幅割り当てのための分散アルゴリズムの設計 

電子情報通信学会論文誌 D-I Vol.J85-D-I, No.5, pp.445--452 2002年  

リンク負荷メトリックに基づく遺伝的アルゴリズムによる負荷分散ルーティング 

情報処理学会論文誌 Vol.43, No.7, pp.2359-2367 2002年  

Equivalent Transformation by Safe Extension of Data Structures 

Perspectives of System Informatics, Lecture Notes in Computer Science, Springer Verlag, Heidelberg, Vol. 2244, pp. 140--148 2001年  

A Theoretical Foundation of Program Synthesis by Equivalent Transformation 

Perspectives of System Informatics, Lecture Notes in Computer Science, Springer Verlag, Heidelberg Vol. 2244, pp. 131--139 2001年  

XML Declarative Description: A Language for the Semantic Web 

IEEE Intelligent Systems pp.54--65, 2001年  

Homomorphism Theorem and Unreachability for Omega Rewriting Systems, in Xiao-Shan Gao and Dongming Wang(Eds.), Computer Mathematics(共著) 

Proceedings of the 4th Asian Symposium on Computer Mathematics, Lecturer Notes Series on Computing 8 90-99 2000年  

Towards Reasoning with UML Diagrams Based-on XML Declarative Description Theory, in Kreinovich, V. and Daengdej, J., editors(共著) 

Proceedings of the International Conference on Intelligent Technologies, Bangkok, Thailand 341-350 2000年  

Towards a Foundation for XML Document Databases, in K. Bauknecht, S. K. Madria, G. Pernual(Eds.), Electronic Commerce and Web Technologies.(共著) 

Proceedings, 2000. Lecturer Notes in Computer Science 1875 324-333 2000年  

Unreachability for a Class of Rewriting Systems using Two Homomorphisms(共著) 

International Conference on Artificial Intelligence and Soft Computing, Banff, Canada 494-500 2000年  

Semantic Interpretation by Rule-Based Equivalent Transformation(共著) 

International Conference on Artificial Intelligence and Soft Computing, Banff, Canada 472-478 2000年