Development of efficient learning algorithms of formal languages and construction of their application systems

形式语言高效学习算法开发及其应用系统构建

• 批准号: 23500011
• 负责人: WAKATSUKI Mitsuo
• 金额: $ 3万
• 依托单位: The University of Electro-Communications
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011-04-28 至 2015-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500011/
• 关键词: 計算論的学習理論; 質問による学習; 等価性判定; 包含性判定; アルゴリズム; 決定性文脈自由言語; プッシュダウン変換器; 多項式時間可能性; 極限同定; 多項式時間可解性; 正例からの学習

项目成果

A Simple and Faster Branch-and-Bound Algorithm for Finding a Maximum Clique with Computational Experiments

• DOI: 10.1587/transinf.e96.d.1286
• 发表时间: 2013-06
• 期刊: IEICE Trans. Inf. Syst.
• 作者: E. Tomita;Yoichi Sutani;Takanori Higashi;Mitsuo Wakatsuki

最大クリーク問題の多項式時間的可解性の更なる改良結果

最大团问题多项式时间可解性的进一步改进结果

• 发表时间: 2011
• 期刊: 電子情報通信学会論文誌Ｄ
• 作者: 佐々木建昭; 稲葉大樹;中西裕陽，富田悦次，若月光夫，西野哲朗
• 通讯作者: 中西裕陽，富田悦次，若月光夫，西野哲朗

量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム

基于量子元胞自动机的图像压缩图像变换算法

• 发表时间: 2011
• 期刊: 京都大学数理解析研究所講究録
• 作者: Takayuki Katsuno;Naotake Tsuboi;Seiichi Matsuo;Shoichi Maruyama;大畑和樹，西野哲朗，若月光夫
• 通讯作者: 大畑和樹，西野哲朗，若月光夫

類似パターンの省略によりソースコードの可読性を向上させる新技法

通过省略相似模式来提高源代码可读性的新技术

• 作者: Kousuke Nishikawa;Satoshi Tayu;Shuichi Ueno;中島環，荒木徹;菊池紘，後藤隆彰，若月光夫，西野哲朗
• 通讯作者: 菊池紘，後藤隆彰，若月光夫，西野哲朗

最大クリーク問題の多項式時間的可解性の拡張

扩展最大团问题的多项式时间可解性

• 发表时间: 2012
• 期刊: 電子情報通信学会論文誌Ｄ
• 作者: M. Ishikawa;K. Yamanaka;Y. Otachi and S. Nakano;Tateaki Sasaki;中西裕陽，富田悦次，若月光夫，西野哲朗
• 通讯作者: 中西裕陽，富田悦次，若月光夫，西野哲朗