神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人情報処理学会の論文
- 2002-02-05
著者
-
田村 直之
神戸大学学術情報基盤センター
-
瀧 和男
神戸大学工学部情報知能工学科
-
田村 直之
神戸大学工学部
-
瀧 和男
神戸大学工学部:神戸大学大学院工学系研究科修士課程システム工学専攻
-
金田 悠紀夫
神戸大学大学院自然科学研究科
-
和田 耕一
筑波大学電子・情報工学系
-
金田 悠紀夫
関西学院大学理工学部
-
和田 耕一
筑波大学電子・情報工学系:神戸大学大学院自然科学研究科
-
田村 直之
神戸大 学術情報基盤セ
-
田村 直之
神戸大学工学部:神戸大学大学院自然科学研究科博士課程システム科学専攻
-
田村 直之
神戸大学工学部情報知能工学科
-
金田 悠紀夫
神戸大学大学院自然科学研究科:神戸大学工学部
-
金田 悠紀夫
神戸大学大学院 自然科学研究科
-
瀧 和男
神戸大学工学部
関連論文
- SATによるシステム検証(最近のSAT技術の発展)
- 制約最適化問題とSAT符号化(最近のSAT技術の発展)
- SATソルバーの基礎(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
- SATによるシステム検証
- パルス動作型ニューロンモデル用高速大容量シミュレータ
- 実時間三次元CG仮想世界向けネットワーク配信手法
- 3次元CGアニメーションの実時間合成・出力システム
- 低消費電力ディジタル・マッチトフィルタ : プラスチック・ハード・マクロ技術の応用事例
- 低消費電力CMOSセルライブラリの設計と評価 (電子システムの設計技術と設計自動化)
- ソフトコアIPを用いた低消費電力LSI設計 : 低消費電力CMOSセルライブラリの応用と評価
- 低消費電力CMOSセルライブラリの試作
- パストランジスタ論理のためのセル開発とその応用 (機能論理設計, アーキテクチャ設計支援と一般)
- CMOS/パス・トランジスタ混在論理の合成とレイアウト(システムLSIの設計技術と設計自動化)
- 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 線形論理と論理プログラミング(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
- 並列論理シミュレーション向きタイムワープ機構の効率的な実現手法
- タイムワープ機構の新しい応用 : 並列無格子配線
- タイムワープによる並列論理シミュレータのコンパクトな実現手法
- PrologからJavaへのトランスレータ処理系とその応用
- 大規模デジタル回路におけるグラウンド雑音の解析(信号解析,アルゴリズム,回路設計)
- HDTV対応低消費電力MPEG2 MP@HL動き検出LSIの開発
- バイトコード変換を用いたJava標準API拡張ツール
- C-12-15 HDTV対応低消費電力MPEG2/MP@HL動き検出プロセッサLSIの開発(3) : SIMDデータパスの構成
- 高速低消費電力論理回路方式ASDLのパイプライン化手法とその評価
- プラスチック・ハード・マクロ技術による低消費電力算術演算器
- パストランジスタ論理SPLとその設計事例
- ディジタルAV機器向けGUIソフトウェア開発システム
- CMOS/パス・トランジスタ論理の混在による低消費電力回路の合成
- 共有メモリ型並列計算機におけるキャッシュを意識したオブジェクト内レイアウト法
- 低電圧動作を視野にいれた高速演算用回路方式ASDLの提案
- 低閾値NMOSを用いるパストランジスタ論理回路方式(電子システムの設計技術と設計自動化)
- 日英機械翻訳システムTWINTRANの言語知識と翻訳品質の評価
- Text-Wide Grammarに基づくテキスト解析
- A^*法に従うアジェンダ制御による構文解析
- TWINTRAIN : integration of syntax, semantics and context analysis
- 遅延評価機構によるAND-ORグラフ上での優先度計算
- Semantic Processing on Parse Trees Represented in a Chart
- 実時間三次元アニメーションシステムの並列オブジェクトモデルを用いた実現手法 (並列処理)
- 低消費電力ディジタル・マッチトフィルタ : プラスチック・ハード・マクロ技術の応用事例
- 低消費電力ディジタル・マッチトフィルタ : プラスチック・ハード・マクロ技術の応用事例
- ソフトコアIPを用いた低消費電力LSI設計 : 低消費電力CMOSセルライブラリの応用と評価
- ソフトコアIPを用いた低消費電力LSI設計 : 低消費電力CMOSセルライブラリの応用と評価
- 低消費電力CMOSセルライブラリの試作
- 低消費電力CMOSセルライブラリの試作
- シーケンシャル実行型PrologマシンPEK : ハードウェア構成
- Prolog Cafe: Java上で動作するProlog処理系(研究のツールボックス〔第4回〕)
- Grid計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- Grid 計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム
- 時相線形論理型言語のコンパイラ処理系のための抽象機械について
- 線形論理型言語のコパイラ処理系のための抽象機械について
- 古典線形論理型プログラミング言語の静的解析の一手法について
- 直観主義時相線形論理における論理プログラミングについて
- 線形論理型言語のJava言語による処理系の設計と実装
- 論理型言語の最近の動向 (新世代のソフトウエア特集号)
- 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 (特集 「AIの基本問題SATと応用技術」および一般)
- 高速低消費電力論理回路方式ASDLのパイプライン化手法とその評価
- 低電圧動作を視野にいれた高速演算用回路方式ASDLの提案
- 低電圧動作を視野にいれた高速演算用回路方式ASDLの提案
- 温度並列シミュレーテッドアニーリング法に基づくスタンダードセル配置プログラム
- SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般)
- JSIAIワークステーション(7) : Prologコンパイラの評価
- JSIAIワークステーション(6) : Prologコンパイラの最適化技法
- JSIAIワークステーション(5) : Prologコンパイラの概要と設計方針
- 1. プログラミング言語と環境 1.2 Prolongのプログラミング環境 (<大特集>新しいプログラミング環境)
- フィールドを有するマルチエージェントシステム記述用言語
- フィールドの概念を備えたマルチエージェント記述用言語の設計と実装について
- Prologに基づくエージェントプログラムにおけるマイグレーションの実現
- Javaを用いた異種エージェント間での協調支援工ージェントの開発に関する研究
- ネットワーク環境におけるマルチエージェントシステム記述用言語
- 分散環境下におけるマルチエージェントシステム記述用言語
- 並列Prolog処理系"K-Prolog"の実現
- 大学におけるセキュリティポリシー導入の一事例
- 大学におけるインシデント対応の一事例
- 線形論理型言語のコンパイラ処理系でのリソース管理方式について
- タイプ2ファジィ集合の一部を扱えるFuzzy Prolog
- LF-001 Profit Sharingの学習の合理性に関する理論的考察(人工知能・ゲーム)
- ファジィ数の体系について(ファジィ数学) : 公理的アプローチ
- 「スーパーコンピュータとその利用技術」特集号の編集にあたって
- プラスチック・ハード・マクロ技術による低消費電力算術演算器
- パストランジスタ論理による加算器の設計手法と設計事例 (電子システムの設計技術と設計自動化)
- 特集「並列処理」の編集にあたって
- 制約条件に論理的ORを含む組合せ最適化問題に対するハイブリッド型最適化手法の実現(サイバー増大ページ論文概要,サイバー増大号)
- BDD分割を用いたパス・トランジスタ論理の合成 (電子システムの設計技術と設計自動化)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- TD-CDMAによる輻輳制御を用いたRFIDシステム向けトランスポンダのIC設計と評価(回路設計)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 知的生産のための新しいツ-ルの現状と展望 (知的生産のための新しいツ-ル特集号)
- Compiling Finite Linear CSP into SAT
- SAT符号化を用いた釣合い型不完備ブロック計画の構成
- 「SATソルバー」(私のブックマーク)
- SATによるシステム検証
- ソフトウェア紹介 直観主義線形論理型言語LLPとそのコンパイラ処理系
- 国際シンポジウムFLOPS 2012開催報告