上田 和紀 | 早稲田大学理工学部情報学科

スポンサーリンク

概要

• 上田 和紀の詳細を見る
• 同名の論文著者
• 早稲田大学理工学部情報学科の論文著者

関連著者

• 上田 和紀

  早稲田大学理工学部情報学科

• 上田 和紀

  早稲田大学大学院情報理工学専攻

• 上田 和紀

  早稲田大学

• 細部 博史

  国立情報学研究所

• 石井 大輔

  早稲田大学理工学術院

• 小林 史佳

  早稲田大学理工学研究科

• 渡辺 高志

  早稲田大学大学院理工学研究科情報科学専攻:早稲田大学理工学部情報学科

• 田川 信一

  早稲田大学理工学部

• 田川 信一

  早稲田大学大学院理工学研究科情報科学専攻:早稲田大学理工学部情報学科

• 小林 史佳

  早稲田大学大学院情報理工学専攻

• 水野 謙

  日本アイ・ビー・エム株式会社東京基礎研究所

• 加藤 紀夫

  産業技術総合研究所システム検証研究センター

• 沼尻 務

  早稲田大学理工学部

• 竹岡 厚

  早稲田大学理工学部

• 竹岡 厚

  早稲田大学大学院理工学研究科情報科学専攻:早稲田大学理工学部情報学科

• 沼尻 務

  早稲田大学大学院理工学研究科情報科学専攻:早稲田大学理工学部情報学科

• 中島 達夫

  早稲田大学 基幹理工学部 情報理工学科

• 山名 早人

  早稲田大学

• 甲藤 二郎

  早稲田大学基幹理工学研究科

• 村岡 洋一

  早稲田大学大学院理工学研究科情報ネットワーク専攻

• 権藤 克彦

  東京工業大学計算工学専攻

• 菊地 賢太郎

  早稲田大学大学院理工学研究科

• 外山 孝伸

  早稲田大学大学院理工学研究科

• 大原 拓三

  早稲田大学理工学部情報学科

• 小林 一成

  早稲田大学大学院理工学研究科

• 上田 学

  早稲田大学大学院理工学研究科

• 藤瀬 哲朗

  三菱総合研究所

• 近山 隆

  東京大学大学院 新領域創成科学研究科 基盤情報学専攻

• 近山 隆

  東京大学

• 大石 進一

  早稲田大学 理工学術院 基幹理工学部 応用数理学科

• 小林 一成

  早稲田大学理工学部情報学科

• 上田 和紀

  早稲田大学理工学部コンピュータ・ネットワーク工学科

• 渋谷 健介

  早稲田大学理工学研究科

• 岡部 亮

  早稲田大学理工学研究科

• 三輪 真弘

  早稲田大学大学院基幹理工学研究科

• 大村 圭

  早稲田大学大学院基幹理工学研究科情報理工学専攻

• 権藤 克彦

  東京工業大学情報理工学研究科計算工学専攻

• 櫻井 健

  早稲田大学理工学研究科情報・ネットワーク専攻

• 市川 祐輔

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 村岡 洋一

  早稲田大学

• 廣瀬 賢一

  早稲田大学大学院基幹理工学研究科情報理工学専攻

• 大石 進一

  早稲田大 理工学術院

• 後町 将人

  早稲田大学大学院情報理工学専攻

• 村山 敬

  早稲田大学理工学研究科情報・ネットワーク専攻

• 水野 謙

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 土山 了

  早稲田大学理工学部情報学科

• 香月 智典

  早稲田大学理工学部情報学科

• 廣瀬 賢一

  早稲田大学大学院

• 中島 達夫

  早稲田大学

• 後町 将人

  早稲田大学大学院基幹理工学研究科

• 岡部 亮

  早稲田大学理工学研究科情報・ネットワーク専攻

• 外山 孝伸

  早稲田大学理工学部情報学科

• 権藤 克彦

  日本ソフトウェア科学会特集編集委員会

• 甲藤 二郎

  早稲田大学基幹情報理工学研究科

• 権藤 克彦

  東京工業大学学術国際情報センター

• 権藤 克彦

  東京工業大学

• 三輪 真弘

  株式会社富士通研究所

• 甲藤 二郎

  早稲田大学

• 大石 進一

  早稲田大学

• 吉瀬 謙二

  東京工業大学大学院情報理工学研究科

• 仁木 直人

  東京理科大学工学部

• 豊田 正史

  東京大学

• 稲葉 真理

  東京大学大学院情報理工学系研究科

• 土山 了士

  早稲田大学大学院理工学研究科

• 本位田 真一

  東京大学

• 新田 克己

  東京工業大学大学院総合理工学研究科

• 中島 求

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 岩崎 英哉

  電気通信大学情報工学科

• 本位田 真一

  国立情報学研究所

• 本位田 真一

  (株)東芝研究開発センター

• 吉瀬 謙二

  東京工業大学

• 湯淺 太一

  京都大学

• 堀 泰祐

  早稲田大学理工学部

• 堀 泰祐

  早稲田大学理工学部コンピュータネットワーク工学科

• 品野 勇治

  東京理科大学

• 明石 修

  NTT未来ねっと研究所

• 村山 和宏

  早稲田大学大学院理工学研究科情報科学専攻

• 伊知地 宏

  ラムダ数学教育研究所

• 河野 健二

  慶應義塾大学

• 稲葉 真理

  東大

• 稲葉 真理

  東京大学情報理工学系研究科

• 稲垣 良一

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 岩崎 英哉

  電気通信大学

• 土村 展之

  関西学院大学

• 薗部 知大

  東京大学大学院情報理工学系研究科

• 稲葉 真理

  東京大学理学系研究科

• 湯淺 太一

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

• 湯浅 太一

  豊橋技術科学大学

• 二村 良彦

  Futamura Institute, Inc.

• 本位田 真一

  東京大学大学院情報理工学系研究科|国立情報学研究所

• 細部博史

  国立情報学研究所

• 長 健太

  早稲田大学大学院理工学研究科

• 岩崎 英哉

  電気通信大学大学院情報理工学研究科

• 稲葉真理

  東京大学

• 川端 聡基

  早稲田大学大学院情報理工学専攻

• 工藤 晋太郎

  早稲田大学理工学研究科情報・ネットワーク専攻

• 前田 直人

  早稲田大学大学院理工学研究科

• 原 耕司

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 矢島 伸吾

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 永田 貴彦

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 加藤 紀夫

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 網代 育大

  早稲田大学大学院理工学研究科

• 露崎 浩太

  早稲田大学大学院基幹理工学研究科

• 村岡 崇章

  早稲田大学大学院基幹理工学研究科

• 大谷 順司

  早稲田大学大学院

• 石川 力

  早稲田大学理工学部コンピュータネットワーク工学科

• 稲村 雄

  NEC情報システムズ

• 関田 大吾

  三菱総合研究所

• 仁木 直人

  東京理科大学 工学部 経営工学科

• 仁木 直人

  東京理科大学工学部経営工学科

• 稲村 雄

  Nec情報システムズ:日本ベリサイン

• 二村 良彦

  Futamura Institute Inc.

• 池口 祐子

  早稲田大学大学院理工学研究科情報科学専攻

• 本位田 真一

  東芝研究開発センター

• 新田 克己

  東京工業大学 大学院 総合理工学研究科 知能システム科学専攻

• 本位田 真一

  国立情報学研究所graceセンター|東京大学

• 市川 祐輔

  早稲田大学理工学術院

• 稲垣 良一

  早稲田大学大学院理工学研究科情報・ネットワーク専攻:(現)特許庁

• 長 健太

  早稲田大学大学院理工学研究科:(現)(株)東芝s&s研究所

• 明石 修

  NTT Network Innnovation Labratories

• 新田 克己

  東京工大 大学院総合理工学研究科

• 水野 謙

  日本アイ・ビー・エム 東京基礎研

• 稲葉 真理

  東京大学大学院情報理工学研究科

• 新田 克己

  東京工業大学

もっと見る 閉じる

著作論文

• 並列計算機システムFOLON上へのPVMの移植と評価
• 双対モデリングを用いた充足可能性問題のCNF encoding
• 微分制約論理式によるハイブリッドシステムのモデリングと検証
• なぜソフトウェア論文を書くのは難しい(と感じる)のか
• 3A-1 大規模メモリ環境下におけるモデル検査ツールSpinのマルチコア検証機能の性能評価(高性能計算,一般セッション,アーキテクチャ)
• 3A-2 強連結成分ベースのグラフ分割による分散並列LTLモデル検査の高速化(高性能計算,一般セッション,アーキテクチャ)
• 6ZJ-9 階層グラフ書換え言語LMNtalによるモデル検査(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• 4K-2 分散検証環境DiVinEを用いた分散LTLモデル検査アルゴリズムの性能評価(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• 6ZJ-7 並列SATソルバにおけるlemma共有およびプール制約伝播高速化(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• SATソルバ MiniSat の並列化とそのチューニング手法(HPC-2 : 数値解析I)
• A-022 数式処理システムMathematica上における再帰除去システム(A分野:モデル・アルゴリズム・プログラミング)
• プロファイルを使用した並列LTLモデル検査のチューニング
• ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
• A-007 区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化(モデル・アルゴリズム・プログラミング,一般論文)
• ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
• LMNtalモデル検査器における状態爆発対策(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
• 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
• ソフトウェア論文座談会
• 階層グラフ書換え言語LMNtalの処理系(ソフトウェア論文)
• LMNtal処理系および他言語インタフェースの設計と実装
• 制約に基づく解析による並行論理プログラムの自動デバッグ
• 6K-4 LMNtal処理系SLIMのモデル検査機能の並列化(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
• 6K-2 クラスタ向け並列precosatの開発と性能評価(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
• 1M-1 ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
• 論理・制約プログラミングと並行計算(論理と推論技術の展開)
• 特集「論理と推論技術の展開」の編集にあたって
• 6ZJ-8 軽量なLMNtal実行時処理系SLIMの設計と実装(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• 4N-2 KLICへのデータ並列処理機能の導入について
• 3K-2 汎用並列組合せ最適化パッケージの構想
• C. A. R. Hoare : Communicating Sequential Processes(20世紀の名著名論)
• シンガポール国立大学
• 私はCrusoeを使いたい(インタラクティブ・エッセイ)
• A-014 LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化(A分野:モデル・アルゴリズム・プログラミング)
• 並列計算機システムFOLONの通信ライブラリの設計と評価
• 見込み計算を用いたニュースリーダの応答性改善法
• 10. 21世紀COEプロジェクト「プロダクティブICTアカデミア」(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
• 21世紀COEプロジェクト「プロダクティブICTアカデミア」
• 4T-7 WWW全文検索システムVernoのアーキテクチャ
• 4T-6 WWW全文検索システムVernoのデータベース
• 分散型WWW全文収集ロボットIron33
• 学習型WWW検索エンジンVerno
• LA_003 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法(A分野:モデル・アルゴリズム・プログラミング)
• 3N-2 オブジェクト共有空間を利用した分散プログラミング支援フレームワーク

もっと見る 閉じる

スポンサーリンク