ブール関数の数式処理システム
スポンサーリンク
概要
- 論文の詳細を見る
We have developed the Formula Manipulation System for Boolean functions (BALOC-2). This system is different from existing formula manipulation systems which are intended for the use of polynomials, rational functions or analytical functions. This system uses many features of computers in binary operations and so Boolean functions are processed with high effciency and speed. The Boolean functions are expressed in the canonical forms of ring sum,which are uniquely defined for the functions, and stored in memory partitioned into groups of several words (we call this group the page). BALOC-2 system consists of BALOC-2 language, compiler and utility routines for execution. All of those are based upon FORTRAN and a few bitwise operations for words are implemented by assembler language.
- 一般社団法人情報処理学会の論文
- 1971-07-15
著者
関連論文
- 複数端末からの同時入力が可能なモデリングシステム
- 動画エージェントシステムの試作
- 間接撮影胸部X線写真の空間周波数構造
- 立体表示された仮想物体に対する知覚位置補正について
- デザイン支援システム構築のための仮想物体の奥行き知覚特性に関する一考察
- 自動車の内装デザインのための立体視画像の物体位置把握に関する一考察
- 自動車の内装デザインのための立体視画像の物体位置把握に関する一考察
- モデリング操作に基づく同一仮想空間内での協調作業環境の実現
- 座談会 人間の知能と機械の知能 : 1986年9月6日 於:北海道大学
- 網構造で表現される因果関係の動的解析システムNESSY-III
- 会話型ネット・シソーラス処理システムNESSY-I
- パターン記述に基づくLISPプログラムの変換
- パターン記述されたデータによるLISPプログラムの変換
- 気象に関する知識ベースシステムの構成
- 錯視を用いた似顔絵生成システム PICASSO について
- 3)似顔絵師システムPICASSO(〔画像通信システム研究会 画像応用研究会〕合同)
- 似顔絵師システムPICASSO : 画像通信システム画像応用
- 仮想空間における凧揚げ操作の実現
- リアルタイムCGによる凧上げの対話シミュレーションシステム
- 知識ベースに基づいた図書目録カードの理解
- 知識ベースに基づいた図書目録カードの理解
- 構造記述を用いた書誌項目域の自動分割
- 書誌情報ファイルの処理に対する効率評価
- サッカー映像からのチームワーク評価方法の検討
- サッカーシーン解析システムにおけるチームワークの定量的評価
- チームプレー分析を目的としたサッカー動画像処理システムの開発
- チームワークの定量的評価を目的としたサッカー動画像解析に関する予備的検討
- 2.映像情報メディアに期待する(映像情報メディアの時代へ)
- AIと日常性
- 学会創立前夜のこと
- 学会創立までのことなど
- 3)胸部X線写真のパターン認識(画像技術応用研究会(第35回))
- 画像処理および画像理解に関する文献データベースの作成と分析 (コンピュータビジョン)
- 意味表現モデルに基づいたデータベース・システム
- データベース操作の高度化に対する意味情報の表現
- 従属性に基づく関係型データベースの概念構造のフレームによる再構築
- 2Q-8 ビデオ管理システムVOMのビデオに対する索引付け
- ビデオ管理システムVOMにおけるキーワードの構造化
- ビデオ管理システムVOMのビデオ表現と編集
- スキーマ変換システムTRICSにおける関係型データベースによる概念構造の記述
- 並行プロダクションシステムConPusのアーキテクチャ
- ビデオデータに対するキーワード付けとその検索
- スキーマ変換システムTRICSにおける利用者インターフェース
- スキーマ変換システムT_における関係型データベースの概念構造構築について
- スキーマ変換システムTRICSにおける関係型データベースの概念構造構築について
- メイリング支援システムASKメイルの構造について
- メイリング支援システムASKメイルの構造について
- メイリング支援システムASKメイルにおけるシソーラス利用に関する検討
- スキーマ変換システムTRICSにおける構造変換規則について
- 道路網の階層的表現にもとづく経路探索アルゴリズムと地図情報システムへの応用
- 地図情報システムにおける略図生成機能の実現
- 濃淡図形を線図形に変換する一方法(WPM)の諸性質について
- 天気図の符号化とその天気図データベース・システム実現への応用
- 音声研究昔話 : 手造り研究がのこしたもの(フェロー受賞特別講演)
- 仮想空間操作による住居シミュレーションシステム
- 仮想弾性モデルを利用した物体形状の変形操作システム
- 中京大学情報科学部
- 情報の科学技術と社会 (社会と情報に関するシンポジウム)
- 言語と多元情報 : その研究と国際協力
- 日本語とソフトウェア
- 14)濃淡画像のパターン認識システムにおける入力画像の濃度値レベル数削減の効果(画像表示研究会(第19回) 視覚情報研究会(第15回)合同)
- FORTRANによって実現された会話型LISPシステムとその応用
- 音声スペクトルの統計的最適識別法
- 多種データ形態適応型エディタの処理系
- 多種データ形態適用型エディタの実現方式
- 共通的知識による異種天気図の読み取り
- ワークステーション上でのマイクロプログラムPrologインタプリタの構成について(知識ベースとデータベースの統合化に関する研究)
- 分枝限定アルゴリズムにおける評価手続きの効率について
- 分枝限定アルゴリズムの並列化とその評価
- ハッシングの技法を用いた数式処理アルゴリズムとその擬似ブール計画法への応用
- 最小被覆問題の擬似ブ-ル計画法による解法(技術談話室)
- 準最適2分探索木の top-down 的構成アルゴリズム
- FortranによるLISP INTERPRETERの実現
- 間接撮影胸部X線写真のパターン認識
- 画像処理における濃度値レベル数の影響に関する一実験報告
- 多値しきい値関数について (多値論理およびその応用 II)
- ハザードのない最簡論理回路の設計
- 雑音を伴う連続濃度図形から曲線を識別する一方法
- 会議支援機能をもつ電子フォーラムの試作
- 方向指数系列の文法的処理による文字認識
- 樹状言語の階層構造 (情報科学の数学的理論)
- 片側文脈規定形文法について (情報科学の数学的理論)
- String Controlled Grammar (情報科学の数学的理論)
- ストリング処理用仮想計算機VC/Sとその上でのSNOBOL3の実現
- 記号処理にもとづくブール関数の数式処理システム(BALOC-3)
- FORTRAN に基づく記号処理システム(COSMOS-2)
- ブール関数の数式処理システム
- 対談 : 第1回AIマップ「AI辺縁における諸問題」をめぐって : 1992年3月30日
- 関係インスタンスとフレームのスキーマ変換 : スキーマ解析システム
- 音声研究昔話 : 手造り研究がのこしたもの
- 日常性の中のAI(インタラクティブ・エッセイ)
- 多エージェント系自己認識論理に基づく状態継続と因果関係の表現
- 並行プロダクションシステムConPusの知識表現について
- JSAI発足の頃(第1部:学会創設25周年に寄せて,人工知能学会25周年特集「四半世紀を越えて」)
- 融資相談システムFinance Adviserの設計と構造
- 融資相談システムFinance Adviserにおける知識ベースの構造とその利用
- Finance Adviser : 地域産業政策における融資相談システム : 知識ベース
- Finance Adviser : 地域産業政策における融資相談システム : システム構成
- データベース統合化ツールIKDによるプロダクションシステムの結合について
- 知識ベース-データベース統合化ツールIKDの構造とその利用