矢島 脩三 | 京都大学工学部情報工学教室

スポンサーリンク

概要

• 矢島 脩三 教授の詳細を見る
• 同名の論文著者
• 京都大学工学部情報工学教室の論文著者

関連著者

• 矢島 脩三

  京都大学工学部情報工学教室

• 矢島 脩三

  京都大学工学研究科情報工学専攻

• 矢島 脩三

  京都大学大学院工学研究科情報工学教室

• 武永 康彦

  電気通信大学情報工学科

• 矢島 脩三

  京都大学工学部

• 濱口 清治

  大阪大学大学院基礎工学研究科

• 上林 弥彦

  京都大学工学部

• 石浦 菜岐佐

  京都大学工学部

• 武永 康彦

  京都大学工学部情報工学教室

• 石浦 菜岐佐

  関西学院大学

• 平石 裕実

  京都産業大学

• 高木 直史

  京都大学工学部情報工学教室

• 石浦 菜岐佐

  京都大学工学部情報工学教室

• 平石 裕実

  京都大学工学部情報工学教室

• 安浦 寛人

  京都大学工学部情報工学教室

• 浜口 清治

  京都大学大学院工学研究科情報工学専攻

• 高木 直史

  名古屋大学大学院情報科学研究科

• 浜口 清治

  京都大学工学部情報工学教室

• 矢島 脩三

  京都大学 工学部

• 高木 直史

  名古屋大学

• 岩間 一雄

  京都大学大学院情報学研究科

• 濱口 清治

  京都大学工学部

• 矢島 脩三

  関西大学総合情報学部

• 武永 康彦

  京都大学大学院工学研究科

• 荻野 博幸

  ニコン

• 武田 浩一

  京都大学工学部情報工学教室:(現)日本アイ・ビー・エム(株)

• 藤井 寛

  Ntt情報通信処理研究所基本アーキテクチャ研究部

• 藤井 寛

  京都大学工学部情報工学教室

• 湊 真一

  Ntt Lsi研究所

• 越智 裕之

  京都大学工学部情報工学教室

• 伊藤 雅樹

  京都大学工学部

• 木村 晋二

  京都大学工学部情報工学教室

• 伊藤 雅之

  京都大学工学部情報工学教室

• 伊藤 雅之

  京都大学工学部情報工学科

• 森田 晃史

  東京海上火災保険株式会社

• 矢島 脩三

  Department of Information Science, Faculty of Engineering, Kyoto University

• 岩間 一雄

  京都産大

• 農添 三資

  京都大学大学院工学研究科:(現)松下電器産業株式会社

• 中嶋 廣二

  京都大学工学研究科

• 湊 真一

  北海道大学大学院情報科学研究科・科学技術振興機構erato湊離散構造処理系プロジェクト・ /科学技術振興機構erato湊離散構造処理系プロジェクト・北海道大学大学院情報科学研究科

• 武永 康彦

  Faculty of Engineering, Kyoto University

• 矢島 脩三

  Faculty of Engineering, Kyoto University

• 堀山 貴史

  埼玉大学大学院理工学研究科

• 堀山 貴史

  京都大学大学院情報学研究科

• 堀山 貴史

  埼玉大学理工学研究科

• 堀山 貴史

  京都大学大学院 工学研究科

• 芦原 司

  京都府立医大・第一病理学教室

• 平石 裕実

  京都産業大学工学部情報通信工学科

• 三島 脩三

  京都大学工学部情報工学教室

• 大井 康

  京都大学工学部情報工学教室

• 大久保 雅且

  京都大学工学部情報工学教室

• 新田 高庸

  京都大学工学部情報工学教室

• 田中 克巳

  岡山大学理学部数学教室

• 上島 紳一

  関西大学大学院総合情報学研究科

• 上田 真由美

  大阪大学サイバーメディアセンター

• 石浦 菜岐佐

  大阪大学工学部情報システム工学科

• 矢島 脩三

  京都大学情報処理教育センター

• 上田 真由美

  京都府立医科大学 医学部視覚機能再生外科学

• 田中 克己

  神戸大学教養部:南カリフォルニア大学計算機科学科

• 武永 康彦

  電気通信大学 電気通信学部 情報工学科

• 芦原 司

  京都府立医大

• 芦原 司

  京都府立医科大学

• 松本 忍

  京都大学工学部情報工学教室

• 小野木 健二

  ニコン

• 大内 由美子

  ニコン

• 上島 紳一

  関西大学

• 濱口 清治

  京都大学大学院工学研究科

• 岩間 一雄

  京都産業大学理学部

• 荻野 博幸

  京都大学工学部

• 田中 克巳

  神戸大学教養部

• 濱野 貴文

  京都大学 工学部 情報工学科

• 出口 豊

  京都大学工学部情報工学科

• 武永 康彦

  電気通信大学

• 権 容珍

  京都大学工学部情報工学教室

• 保坂 和寿

  Department Of Information Science Facutly Of Engineering Kyoto Unviersity

• 武永 康彦

  Department of Information Science, Facutly of Engineering, Kyoto Unviersity

• 中津 楢男

  京都大学工学部

• 高橋 瑞樹

  京都大学工学部情報工学教室

• 中嶋 廣二

  京都大学大学院工学研究科情報工学専攻

• 金田 高幸

  Faculty of Engineering, Kyoto University

• 金田 高幸

  Faculty Of Engineering Kyoto University

• 澤田 宏

  京都大学工学部

• 湊 真一

  京都大学工学部情報工学教室

• 越智 裕之

  京都大学 大学院 情報学研究科 通信情報システム専攻

• 岩間 一雄

  京都大学工学研究科情報工学専攻

• 松本 裕治

  京都大学工学部

• 中原 浩一

  京都大学工学部情報工学科

• 上田 真由美

  関西大学大学院総合情報学研究科

• 中津 楢男

  愛知教育大学教育学部

• 岡部 寿男

  京都大学工学部情報工学教室

• 越智 裕之

  京都大学工学部

• 高木 一義

  京都大学工学部情報工学教室

• 蚊野 浩

  京都大学工学部情報工学教室

• 藤井 康雄

  京都大学情報処理教育センター

• 安岡 孝一

  京都大学 人文科学研究所附属漢字情報研究センター

• 小西 修

  高知大学理学部情報科学科

• 高橋 紀之

  京都大学工学部

• 浜口 清治

  大阪大学大学院情報科学研究科

• 廣瀬 勝一

  京都大学工学研究科電子通信工学専攻

• 小西 修

  公立はこだて未来大 システム情報科学

• 小西 修

  高知大学理学部

• 富田 眞治

  京都大学工学部情報工学教室

• 富田 眞治

  京都大学工学部

• 矢島 脩三

  ニコン

• 荻野 博幸

  京都大学情報工学教室

• 小野木 健二

  株式会社ニコン

• 大内 由美子

  株式会社ニコン

• 木村 晋二

  神戸大学工学部

• ロテール デロール

  京都大学大学院工学研究科

• 栄木 浩

  京都大学工学部

• 小西 修

  名古屋大学プラズマ研究所核融合研究企画情報センター

• 藤井 康雄

  京都大学・情報処理教育センター

• 農添 三資

  京都大学大学院工学研究科

• 福島 直人

  京都大学工学部

• 濱口 清治

  京都大学 工学部

• 平石 裕実

  京都大学 工学部

• 濱口 清治

  Department of Information Science, Faculty of Engineering, Kyoto University

• 平石 裕実

  Department of Information Science, Faculty of Engineering, Kyoto University

• 矢島 脩三

  関西大学大学院総合情報学研究科知識情報学専攻

• 藤吉 靖浩

  京都大学

• 平田 博章

  京都大学工学部情報工学教室

• 吉田 裕

  日本電信電話公社

• 井上 健

  関西大学総合情報学部学生

• レ ヴィエトチュン

  京都大学工学部

• 浜田 清治

  京都大学工学部情報工学教室

• プレパラータ フランコ

  Dept. of Computer Science, Brown University

• 濱野 貴文

  京都大学工学部情報工学教室

• 藤吉 靖浩

  京都大学工学部情報工学教室

• プレパラータ フランコ

  Dept. Of Computer Science Brown University

• 仙石 浩明

  日立製作所

• 平田 博章

  京都大学工学部

• 福島 直人

  京都大学大学院工学研究科

• 武永 康彦

  京都大学 工学部 情報工学教室

• 農添 三資

  京都大学 工学部 情報工学教室

• 農添 三資

  京都大学工学部情報工学教室

• 近藤 誠一

  京都大学工学部情報工学科:(現)三菱電機(株)

• 坊野 博典

  京都大学大学院工学研究科

• 保坂 和寿

  京都大学工学部情報工学教室

• 稲垣 耕作

  京都大学工学部情報工学教室

• 津森 靖

  京都大学工学部情報工学教室

• 浜口 清治

  大阪大学大学院基礎工学研究科

• 田中 克己

  神戸大学教養部情報科学教室

• 仙石 浩明

  京都大学工学部

• 仙波 一郎

  茨城大学工学部

• 湊 真一

  Ntt Lsi 研究所

• 金田 高幸

  京都大学工学部情報工学教室

• 甲村 康人

  三洋電機株式会社 ハイパーメディア研究所

• 仙波 一郎

  茨城大学教養学部

• 石浦 菜岐佐

  京大

• 東道 徹也

  京大

• 矢島 脩三

  京大

• 甲村 康人

  京都大学

• 安岡 孝一

  京都大学工学部

• 井置 一哉

  京都大学工学部

• 矢島 脩三

  京都大学

もっと見る 閉じる

著作論文

• 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
• 正則時相論理のモデルチェック法の改良と設計検証への適用
• 連想メモリを利用したハードウェア向き単一化アルゴリズム
• 連想メモリを利用した高速単一化アルゴリズム
• 入力制約監視機能をもつ会話型シミュレーション・システムISS
• 京都大学情報処理教育センターの概要
• 複数の二分決定グラフを用いたNP完全な組合せ問題の解法
• 2)超高精細マルチ画像顕微鏡装置の開発(ヒューマンインフォメーション研究会)
• 超高精細マルチ画像顕微鏡装置の開発
• 関係データベースにおける意味制約を反映した非正規形の関係の設計問題
• データベースにおける非正規関係の設計と操作について(モデル表現とその構築に関する理論と実際の研究)
• 関係データベースシステムにおける従属性を利用したデータの表現について (形式言語理論とオートマトン理論)
• 関係データベースシステムにおける質問作成・改良の補助機能をもつ利用者インタフェースの設計と開発 (情報の記憶と利用に関する理論的研究)
• 文献情報処理のためのMULTI-KWICシステム
• 積和形論理式を表す二分決定グラフの表現能力(アルゴリズムと計算量理論)
• 積和形論理式を表す二分決定グラフの表現能力
• しきい値関数を表す共有2分決定グラフの最適な変数順序付けの計算複雑度
• 等号を含む第一階時相論理のサブクラスとその恒真性判定問題
• 等号を含む第一階時相論理のサブクラスとその恒真性判定問題(計算モデルと計算の複雑さに関する研究)
• 二分モーメントグラフを用いた大規模多項式の操作手法
• 形式的手法によるキャッシュ・プロトコルの設計検証 : 超並列計算機JUMP-1への適用例
• 算術演算回路検証のための二分モーメントグラフの高速生成手法
• 算術演算回路検証のための二分モーメントグラフの高速生成手法
• 形式的設計検証のための分岐時間正則時相論理
• 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)
• 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
• 線形時間のモデルチェックアルゴリズムを持つ正則時相論理と変数代入機構による拡張
• On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
• 正則時相論理の充足可能性判定アルゴリズム
• 高度情報環境におけるプライベート仮想ライブラリ
• 高度情報環境におけるプライベード仮想ライブラリに関する考察
• 乗算型除算および開平のためのハードウェアによる初期近似手法
• 除算と開平のための積和演算を用いた初期近似手法
• 連分数展開に基づく高速開平アルゴリズム
• テンポラル・ロジックで用いられている連接について(アルゴリズムの数学的基礎理論とその応用)
• 論理回路機能の時間的関係の記述と検証(計算機科学の基礎理論とその応用)
• 入力制約を用いた論理回路の形式的検証について(計算機科学の基礎理論)
• 不完全指定順序機械の非両立状態対の割合について (情報科学の数学的基礎理論と応用)
• 仕様が漸化式で与えられた組含せ回路の形式的設計検証
• 二次記憶に格納された共有二分決定グラフを効率良く処理するための幅優先アルゴリズム
• 共有展開に基づくベクトル計算機向き論理関数素項生成法
• ディスプレイ上における文字表示環境の自動最適化について
• プール式処理による不完全指定順序機械の最小化
• マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)の論理シンボル入力/編集
• 冗長2進表現を用いた右シフト剰余除算のハードウェアアルゴリズム
• 記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用)
• 部分自律有限オートマトンの等価性 (情報科学の数学的基礎理論と応用)
• 2入出カ対オートマトンによる計算機結合インタフェースの設計手順 (計算機構の数学的研究)
• 除算を表現する二分決定グラフの指数下界
• 共有二分決定グラフを用いた論理回路の多重故障シミュレ一ション
• スライス関数と斉次関数の回路計算複雑さについて
• Representability Problem for Relational Database Design with Multivalued Dependencies (情報科学の数学的基礎理論と応用)
• Query Processing in a Relational Database Using Abstracted Characteristics of Data (情報科学の数学的基礎理論と応用)
• 算術演算回路検証のための二分モーメントグラフの高速生成手法
• 時間記号シミュレーションについて
• 乗除べき乗算のための段数 O((1-α)/α n)) 素子数 O((n^)/(αlogn))回路
• O(n)段剰余べき乗算回路
• 機能メモリを用いたDCTハードウェアアルゴリズム
• SBDDを用いた最小STT状態割当
• SBDDを用いた最小単符号単発状態割当
• 有向非巡回グラフの線形配置アルゴリズムについて
• 高速シミュレータを用いた重み付き乱数によるテスト生成
• 高速故障シミュレータを用いたテスト生成
• ベクトル計算機による高速故障シミュレーションのための動的二次元並列法
• しきい値関数を表す二分決定グラフのサイズと変数順序
• 閾値関数を表す2分決定グラフの変数順序と重みの順序の関係
• 基本操作の依存性を利用した並行処理のための手法(計算機構に関する数学的基礎理論とその応用)
• On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions
• しきい値関数を表現する二分決定グラフの大きさの下界
• マルチコンピュータ・マルチスクリーン・グラフィクスワークステーションの開発
• A New Automaton Model Suitable for Maximal Common Substring Computation and Its Application to Data Compression (Mathematical Studies of Information Processing)
• 最大共通部分系列問題と共通連続部分系列問題のアルゴリズム (情報科学の数学的基礎理論と応用)
• 不成功マッチング処理に適した部分マッチングアルゴリズム (計算機科学の数学的基礎)
• On Tree-Shellable Boolean Functions
• 2進乱数の改善およびその改善度について
• ハードウェアアルゴリズムの記述法について (形式言語理論とオートマトン理論)
• 非決定性有限オートマトンの状態数最小化(理論計算機科学とその周辺)
• 論理回路の故障の自律検査法 (情報科学の数学的基礎理論と応用)
• 近接関数を用いた多出力論理関数の最小化について
• 論理式と二分決定グラフの表現能力の比較
• Tree-Shellable論理関数について
• 種々のShellable関数の関係について
• 確率的符号化時間記号シミュレーションによるタイミングエラー確率の解析
• 確率的符号化時間記号シミュレーションによるタイミングエラー確率の解析
• コンピュータ開発
• 正則定数段回路の疑似確定オートマトンによる特徴づけ
• しきい値関数を表現する二分決定グラフのサイズの下界
• Variable Ordering and the Size of Ordered Binary Decision Diagrams Representing Threshold Functions
• しきい値関数を表す二分決定グラフのサイズと変数順序
• k回読み分岐プログラムによる論理関数の表現能力
• 種々のk回読み分岐プログラムについて
• Hardness of Learning Binary Decision Diagrams(Fundamental Studies on Computational Complexity)
• NP-completeness of Minimum Binary Decision Diagram Identification Problems
• 多項式サイズの二分決定グラフの族に対する完全言語(計算機構とアルゴリズム)
• 組合せ問題の論理関数による解法について(計算機構とアルゴリズム)
• 二分決定グラフの最小推論について
• 論理関数を表現する2分決定グラフの最小化
• Computational Power of a Memory-Based Paralled Computation Model with Communication
• 二分決定グラフによる論理関数処理の計算複雑さ(理論計算機科学とその周辺)
• 連想メモリによるメモリ型並列計算モデルの計算能力
• メモリ型並列計算におけるネットワークの形態と能力について(計算および計算量理論とその周辺)
• 多項式サイズの二分決定グラフで表現可能な論理関数のクラス(計算および計算量理論とその周辺)
• 論理関数の共有二分決定グラフによる表現とその効率的処理手法
• 論理回路の正確なタイミング検証のための時間記号シミュレーション
• A Class of Logic Functions Expressible by a Polynomial-Size Binary Decision Diagram
• 非決定性順序機械によるハードウェア記述言語の意味付け
• 共有二分決定図を用いた論理関数の処理手法について
• 時間カロリー記号論理シミュレーションにおける遅延モデルの拡張
• メモリ型並列計算モデルとその計算能力 : スーパコンピュータへの第3のアプローチ
• 共有二分決定図を用いた組合せ論理回路のテスト生成
• 剰余数表示法を用いた初等関数計算の対数段回路アルゴリズム
• 論理型プログラムの並列計算複雑さと組合せ論理回路による超並列計算
• オンライン誤り検出可能な高速配列型除算器 (新しいフォ-ルトトレランス技術論文小特集)

もっと見る 閉じる

スポンサーリンク