北道 淳司 | 大阪大学大学院基礎工学研究科
スポンサーリンク
概要
関連著者
-
稗田 直樹
岡山大・院・自然科学
-
小林 典男
東北大金研
-
上田 寛
東大物性研
-
上田 実
名古屋大学 大学院医学系研究科頭頸部・感覚器外科学講座
-
上田 昭一
熊本大学大学院医学薬学研究部泌尿器病態学
-
山浦 淳一
東大物性研
-
萩原 政幸
阪大極限セ
-
西 正和
東大物性研
-
山田 靖哉
大阪市立大学 大学院医学研究科腫瘍外科学講座
-
岡林 孝弘
エポジン自己血輸血研究会
-
田中 紀章
エポジン自己血輸血研究会
-
里見 進
エポジン自己血輸血研究会
-
鈴木 博孝
エポジン自己血輸血研究会
-
高木 弘
エポジン自己血輸血研究会
-
高橋 俊雄
エポジン自己血輸血研究会
-
斎藤 洋一
エポジン自己血輸血研究会
-
峠 哲哉
エポジン自己血輸血研究会
-
杉町 圭藏
エポジン自己血輸血研究会
-
折田 薫三
エポジン自己血輸血研究会
-
土師 誠二
近畿大学医学部第2外科
-
松井 徹哉
名城大学理工学部建築学科
-
森 正樹
大阪大学消化器外科
-
福原 知宏
東京大学人工物工学研究センター
-
三浦 登
東大物性研
-
後藤 恒昭
東大物性研
-
永田 見生
久留米大学 医学部整形外科学講座
-
永田 松夫
千葉県がんセンター消化器外科
-
堂地 勉
鹿児島大
-
多胡 茂
株式会社村田製作所
-
三上 重幸
株式会社村田製作所
-
坂本 孝一
株式会社村田製作所
-
石川 容平
株式会社村田製作所
-
岩朝 光利
福岡大学病院脳神経外科
-
内藤 正俊
福岡大学整形外科
-
三田 彰
慶應義塾大学
-
林 和彦
住友電工
-
吉田 剛
三菱電機株式会社情報技術総合研究所
-
水落 隆司
三菱電機株式会社情報技術総合研究所
-
朝倉 啓文
日本医大
-
竹下 俊行
日本医大
-
服部 晃
岐阜女子大学
-
岩田 展幸
日本大学理工学部
-
山本 寛
日本大学理工学部
-
孝橋 賢一
九州大学形態機能病理
-
小田 義直
九州大学形態機能病理
-
外山 勝弘
東邦大学大森病院呼吸器内科
-
木村 一博
東邦大学大森病院呼吸器内科
-
中田 紘一郎
東邦大学大森病院呼吸器内科
-
山田 茂人
久留米大学医学部脳疾患研究所
-
山下 裕史朗
久留米大学医学部小児科
-
里井 美香
久留米大学医学部小児科
-
籐後 明子
久留米大学医学部小児科
-
小枝 達也
鳥取大学脳研小児科
-
平谷 美智夫
福井県小児療育センター
-
菅 滋正
阪大基礎工
-
中尾 裕則
高エ研
-
村上 洋一
高エ研
-
杉山 純
豊田中研
-
伊藤 満
東工大応セラ研
-
日浦 昌道
四国がんセンター
-
亀卦川 卓美
高エネ研
-
香川 利春
東京工業大学 精密工学研究所
-
鳥羽山 滋生
聖隷浜松病院小児外科
-
清水 隆司
NHK放送技術研究所
-
杉之下 文康
NHK放送技術研究所
-
野本 俊裕
NHK放送技術研究所
-
松下 吉宏
NHK営業局
-
久保 歳弘
NHK営業局
-
杉浦 敏博
マスプロ電工株式会社
-
木下 義晶
九州大学小児外科
-
田口 智章
九州大学小児外科
-
有賀 正
北海道大学医学部小児科
-
鳴海 拓志
東京大学大学院工学系研究科
-
廣瀬 通孝
東京大学大学院情報理工学系研究科
-
長田 卓也
東京医科大学健康増進スポーツ医学講座
-
高山 智燮
奈良県立医科大学消化器・総合外科
-
長尾 確
名古屋大学
-
宗崎 良太
九州大学小児外科
-
田尻 達郎
九州大学小児外科
-
安藤 陽一
阪大産研
-
大澤 敏
金沢工業大学
-
田口 智章
九州大学病院MEセンター
-
真鍋 達也
県立宮崎病院外科
-
宇戸 啓一
県立宮崎病院外科
-
上田 祐滋
県立宮崎病院外科
-
豊田 清一
県立宮崎病院外科
-
栗田 治
慶應義塾大学
-
早川 裕弌
東京大
-
林田 真
九州大学小児外科
-
松浦 俊治
九州大学小児外科
-
佐伯 勇
九州大学小児外科
-
内山 秀昭
九州大学消化器・総合外科
-
副島 雄二
九州大学消化器・総合外科
-
武冨 紹信
九州大学消化器・総合外科
-
調 憲
九州大学消化器・総合外科
-
前原 喜彦
九州大学消化器・総合外科
-
原田 良夫
トーカロ
-
熊谷 健一
北大院理
-
宍戸 寛明
京大院理
-
松田 祐司
京大院理
-
鈴木 康弘
愛知県立大
-
金 志香
千葉大学大学院
-
桐谷 佳恵
千葉大学
-
玉垣 庸一
千葉大学
-
中村 良介
産業総合研究所
-
山内 勝治
近畿大学医学部奈良病院小児外科
-
小角 卓也
近畿大学医学部奈良病院小児外科
-
内海 俊樹
鹿児島大・理・生物
-
阿部 美紀子
鹿児島大・理・生物
-
立花 光夫
島根大学医学部消化器・総合外科
-
庄田 守男
東京女子医大
-
笠貫 宏
東京女子医大
-
佐野 功
佐世保市立総合病院外科
-
桶屋 勝幸
(株)日立製作所システム開発研究所
-
坂下 博之
東京医科歯科大学呼吸器内科
-
浜村 吉昭
神戸市水道局技術部計画課
-
竹内 重隆
神戸市水道局技術部計画課
-
牛尾 亮太
神戸市水道局技術部計画課
-
大竹 耕平
三重大学消化管・小児外科
-
井上 幹大
三重大学消化管・小児外科
-
小池 勇樹
三重大学消化管・小児外科
-
松下 航平
三重大学消化管・小児外科
-
大北 喜基
三重大学消化管・小児外科
-
吉山 繁幸
三重大学消化管・小児外科
-
荒木 俊光
三重大学消化管・小児外科
-
三木 誓雄
三重大学消化管・小児外科
-
楠 正人
三重大学消化管・小児外科
-
長谷川 史郎
静岡県立こども病院小児外科
-
木寺 詔紀
横浜市立大学大学院生命ナノシステム科学研究科
-
酒井 慎一
東京大学地震研究所
-
中村 修
長崎大学生産科学研究科
-
畑中 直樹
長崎大学生産科学研究科
-
中島 大
全国小水力利用推進協議会
-
板倉 昭慶
筑波大学プラズマ研究センター
-
平原 史樹
横浜市立大
-
三根 有紀子
福岡県立大学ヘルスプロモーション実践研究センター
-
寺田 恵子
めぐみ助産院
-
浅野 美智留
福岡看護専門学校水巻校助産学科開設準備室
-
石橋 美幸
フムフムネットワーク
-
石井 裕剛
京都大学
-
小枝 達也
米国
-
小枝 達也
鳥取大学教育地域科学部人間教育講座障害児病理学
-
淺間 一
東京大学
-
菅野 重樹
早稲田大学
-
小野 嘉之
東邦大・理・物理
-
久野 公子
宮崎総農試
-
川崎 安夫
宮崎総農試
-
水野 章敏
学習院大学理学部
-
安達 正芳
東北大学多元物質科学研究所
-
福山 博之
東北大学多元物質科学研究所
-
小畠 秀和
東北大学多元物質科学研究所
-
森 宏之
帝京大
-
仁科 孝子
東京都立八王子小児病院外科
-
村越 孝次
東京都立八王子小児病院外科
-
渡邊 昌彦
北里大学外科
-
平井 郁子
大妻女子大学短期大学部
-
林原 賢治
日本医科大学 臨病理
-
喜成 年泰
金沢大学理工研究域
-
高山 峯夫
福岡大学工学部建築学科
-
寺川 直樹
鳥取大
-
前田 忠彦
科学技術振興機構(jst)社会技術研究開発センター(ristex)
-
福井 真司
尚絅学院大学
-
黒田 浩一
京都大学大学院農学研究科応用生命科学専攻
-
古城 幸子
新見公立短期大学看護学科
-
上山 和子
新見公立短期大学
-
宇野 文夫
新見公立短期大学
-
神原 光
新見公立短期大学
-
岸本 努
新見公立短期大学
-
鹿島 隆
新見公立短期大学
-
田中 弘之
昭和大学藤が丘病院心臓血管外科
-
的場 輝佳
関西福祉科学大学
-
鷲谷 いづみ
東京大学大学院農学生命科学研究科
-
李 銀〓
筑波大学大学院
-
小林 皇
札幌医科大学医学部泌尿器科学教室
-
加藤 隆一
札幌医科大学医学部泌尿器科学教室
-
大谷 義夫
東京医科歯科大学医学部附属病院呼吸器内科
-
小島 勝雄
東京医科歯科大学医学部附属病院心臓肺外科
-
石川 浩一
近中四農研
-
工藤 諭
東大新領域
-
橋本 信
東大理
-
吉田 鉄平
東大理
-
藤森 淳
東大理
-
内田 慎一
東大理
-
五藤 周
埼玉県立小児医療センター外科
-
内田 広夫
埼玉県立小児医療センター外科
-
川嶋 寛
埼玉県立小児医療センター外科
-
岩中 督
東京大学小児外科
-
日高 良一
山口大学大学院連合獣医学研究科
-
長井 千春
愛知県立芸術大学
-
柳垣 孝広
市立八幡浜総合病院泌尿器科
-
武田 肇
市立八幡浜総合病院泌尿器科
-
武内 政幸
大東文化大学
-
布野 修司
滋賀県立大学
-
小野 英哲
東北工業大学建築学科
-
坪内 和女
福岡大学医学部泌尿器科学教室
-
吉田 一博
白十字病院泌尿器科
-
小倉 学
三菱電機(株)人材開発センター
-
吉川 達也
三菱電機(株)稲沢製作所
-
池田 生馬
九州大学大学院工学府知能機械システム専攻
-
松田 浩一
九州大学大学院工学研究院機械工学部門
著作論文
- D-3-4 UMLを用いた組込みOS:TOPPERS/JSPのモデリング(D-3. ソフトウェアサイエンス,一般セッション)
- 災害医療支援ネットワークのための軽傷者用負傷者端末(システム設計,物理設計及び一般)
- FPGAを用いた2次元液体運動シミュレーションの高速化(リコンフィギャラブル応用)
- SystemCを用いた動的再構成可能プロセッサのモデル開発(システム設計及び一般)
- SystemCを用いた動的再構成可能プロセッサのモデル開発(Cベース設計事例,システム設計及び一般)
- D-18-4 バタフライネットワークの部分再構成デバイスへの実装(D-18.リコンフィギャラブルシステム,一般講演)
- 最小p-準クリーク被覆問題に対するハードウェアアルゴリズム(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 最小p-準クリーク被覆問題に対するハードウェアアルゴリズム(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- A-1-24 PCA上の領域の有効利用を目的とした処理ユニットの設計と実装(A-1.回路とシステム,基礎・境界)
- 動的再構成可能デバイスPCA-2への逆誤差伝搬法の実装(リコンフィギャラブル応用II, リコンフィギャラブルシステム, 一般)
- 動的再構成デバイスPCA上での自己複製型アプリケーション設計容易化手法の提案と実装(ハードウェアアルゴリズム, FRGAとその応用及び一般)
- PCAにおける部分再構成機能を利用したウェーブレット変換回路の設計(アプリケーションI)(リコンフィギャラブルシステムにおける設計技術及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- SystemCを用いた動的再構成可能アーキテクチャPCAのためのシミュレーション法の提案(システム設計及び一般)
- SystemCを用いた動的再構成可能アーキテクチャPCAのためのシミュレーション法の提案(システム設計および一般)
- N次元高速アダマール変換アルゴリズムの提案と動的再構成可能デバイスへの実装(FPGAとその応用及び一般)
- A-3-20 Plastic Cell Architecture におけるレイアウト情報管理用支援ツールの設計
- 整数制約論理のための二分決定グラフの拡張データ構造とそれに対するアルゴリズムの提案
- 最小p-準クリーク被覆問題に対するハードウェアアルゴリズム(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 動的再構成デバイスPCA上での自己複製型アプリケーション設計容易化手法の提案と実装(ハードウェアアルゴリズム, FRGAとその応用及び一般)
- 動的再構成デバイスPCA上での自己複製型アプリケーション設計容易化手法の提案と実装(ハードウェアアルゴリズム, FRGAとその応用及び一般)
- N次元高速アダマール変換アルゴリズムの提案と動的再構成可能デバイスへの実装(FPGAとその応用及び一般)
- N次元高速アダマール変換アルゴリズムの提案と動的再構成可能デバイスへの実装(FPGAとその応用及び一般)
- 複数の制御部を持つ同期式順序回路の一設計検証法
- 複数モジュールにより構成される回路仕様に対する効率的な形式的検証法
- 複数モジュールにより構成される回路仕様に対する効率的な形式的検証法
- ニューロ・GAによるデータ転送路最適化問題解法の提案
- 代数的手法を用いた複数の制御部を持つ同期式順序回路に対する設計および検証支援系の開発
- 代数的手法によるPCIバスコントローラの設計検証
- シストリックアレーによる回路設計の正しさの一証明法
- 代数的手法を用いた同期式順序回路の設計支援機能の統合
- ASLプログラム開発システムにおける検証の自動化について
- 順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
- あるクラスのOut-of-Order型パイプラインCPUの設計の正しさの十分条件とその形式的検証 (電子システムの設計技術と設計自動化)
- 複数の制御部を持つ同期式順序回路に対する不変式の形式的検証法 (機能論理設計, アーキテクチャ設計支援と一般)
- 安定結婚問題を対象とした離散型ニューラルネットワーク解法の性能評価
- システム設計レベルにおける回路の性質検証のための整数データを処理可能なCTLモデル検査法の提案と実装
- 代数的手法を用いたハードウェアの仕様記述とその詳細化について(計算アルゴリズムと計算量の基礎理論)
- 静的マルチキャストルーティング問題に対する最適パス選択解法の提案
- FPGA配線問題に対する貪欲法とニューラルネットワークを併用した3段階アルゴリズムの提案
- 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
- 貪欲法とGAを併用したデータ転送路資源最適化問題解法の提案
- DS-1-2 チャネル割当て問題に対するニューラルネットワークアルゴリズムの改良手法(DS-1.計算理論における学生の研究パワー:COMP学生シンポジウム,シンポジウムセッション)
- プログラムの処理速度調整に基づいたデータセンタ向け省電力タスクスケジューリング法
- 高位設計における形式的検証のための整数上の制約論理式の真偽判定プログラムに対する改良手法
- 高位設計における形式的検証のための整数上の制約論理式の真偽判定プログラムに対する改良手法
- 高位設計における形式的検証のための整数上の制約論理式の真偽判定プログラムに対する改良手法
- プレスブルカー文真偽判定アルゴリズムのためのBDDの応用とそれを用いた回路検証 (電子システムの設計技術と設計自動化)
- マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの実例による評価
- マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの実例による評価
- マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの実例による評価
- SMIL風シナリオ群からのQoSを考慮したプロトコル合成
- SMIL風シナリオ群からのQoSを考慮したプロトコル合成
- 代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明
- LOTOS風言語で書かれた同期式順序回路の要求仕様記述と回路自動合成
- 代数的手法を用いた同期式順序回路の段階的設計法
- 並列実行される動作におけるデータ代入の衝突の判定
- 整数上の線形制約の処理と応用 (制約論理プログラミング)
- 代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順
- 代数的手法を用いた回路設計支援システムにおける状態図簡約機能とその評価
- マルチアクセラレータ型動的再構成プロセッサの実装(FPGAアクセラレーター,FPGA応用及び一般)
- マルチアクセラレータ型動的再構成プロセッサの実装(FPGAアクセラレーター,FPGA応用及び一般)
- マルチアクセラレータ型動的再構成プロセッサの実装(FPGAアクセラレーター,FPGA応用及び一般)
- FPGA配線問題に対する貪欲法とニューラルネットワークを併用した3段階アルゴリズムの提案
- セルラー通信網のあるチャンネル割当問題に対するマキシマムニューラルネットワーク解法の提案
- 移植が容易なPCI Expressインターフェイスフレームワークの設計と実装(FPGA応用)
- 動的再構成可能FPGAの設計とそれへの並列アルゴリズムの実装
- FPGA上で動作可能なマルチプロセッサRTOSの提案
- FPGA上で動作可能なマルチプロセッサRTOSの提案
- 5. 代数的手法による仕様記述と設計および検証 ( 論理設計の形式的検証)
- 代数的手法を用いたマイクロプログラム制御方式順序回路の階層的設計
- ターボブースト・ハイパースレッディングを考慮したマルチコアプロセッサ向けタスクスケジューリング
- A-3-13 電力消費の評価のためのARMプロセッサの実装(A-3.VLSI設計技術,一般セッション)
- 複数の制御部を持つ同期式順序回路に対する不変式の形式的検証法 (機能論理設計, アーキテクチャ設計支援と一般)