スポンサーリンク
新世代コンピュータ技術開発機構 | 論文
- 証明コンパイラにおける拡張射影手法
- 数学的側面からみた状況理論(ソフトウェア科学・工学の数理的方法)
- 談話理解とロジック (「次世代自然言語処理技術」)
- 型理論(Type Theory)
- 遅延型論理演算に基づく制約型プログラミング
- 自然言語の形式的意味論
- 産学官連携&大学発ベンチャーシリーズ(2)LSI設計技術の研究からベンチャー起業へ
- 属性記述に基づく計算機上の対象識別のための意味づけと構文化・形式変換
- 多様な視点に基づく属性を用いた計算機中の対象同定法
- 統合地図デ-タベ-ス管理システム (特集/ITS)
- 帰納法を用いる定理証明システム (「人工知能と定理証明システム」)
- 適応的並列計算を支援するプロトコルの設計と正当性の証明(HPC-10 : 適応環境での通信)
- フォ-マルアプロ-チによるソフトウェア開発 (ソフトウェア生産システム特集)
- 世代GC方式におけるキャッシュを意識した殿堂入り時期調節手法の提案
- 効率のモデルに基づきヒープサイズを自動調節する世代GC方式
- 4N-1 並列論理型言語処理系 KLICへの世代GC方式の導入
- KLICへの世代GCの実装に対する予備的実験
- 空間運動の束縛に関する知識表現方法
- マルチPSI(プサイ)(並列推論マシン)システムの開発を見る
- 並列推論マシン (「AIマシン」)