国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(11)
2000年代
(23)
2010年代
(111)
2020年代
(12)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(13)
雑誌
(98)
新聞
和古書・漢籍
博士論文
(34)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(4)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(12)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(50)
紙
(104)
マイクロ
記録メディア
(4)
すべて解除
絞り込み条件
絞り込み条件
検索結果 157 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
基礎からわかるアルゴリズム (ニュートン新書)
基礎からわかるアルゴリズム (ニュートン新書)
紙
図書
パノス・ルリダス 著, 湊真一 監訳, 鳥飼まこと 訳
ニュートンプレス
2022.5
<M159-M878>
国立国会図書館
全国の図書館
離散構造処理系の基盤アルゴリズムの研究
離散構造処理系の基盤アルゴリズムの研究
紙
図書
湊真一, 京都大学 [著]
[湊真一]
2015-2019
<Y151-H15H05711>
国立国会図書館
基礎から学ぶ情報理論 第2版
基礎から学ぶ情報理論 第2版
紙
図書
中村篤祥, 喜田拓也, 湊真一, 廣瀬善大 共著
ムイスリ出版
2020.2
<M121-M228>
国立国会図書館
全国の図書館
超高速グラフ列挙アルゴリズム : 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ
超高速グラフ列挙アルゴリズム : 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ
紙
図書
湊真一 編, ERATO湊離散構造処理系プロジェクト 著
森北出版
2015.4
<M159-L654>
国立国会図書館
全国の図書館
基礎から学ぶ情報理論
基礎から学ぶ情報理論
紙
図書
中村篤祥, 喜田拓也, 湊真一 共著
ムイスリ出版
2013.3
<M121-L17>
国立国会図書館
全国の図書館
Theory of computation
Theory of computation
紙
図書
ツォイクマン・トーマス, 湊真一, 大久保好章 共著
Corona
2009.4
<YU111-B803>
国立国会図書館
全国の図書館
社会に貢献する最先端アルゴリズム技術
社会に貢献する最先端アルゴリズム技術
デジタル
文書・図像類
湊, 真一, 川原, 純
2019-09-15
京都大学アカデミックデイ2019 : 研究者と立ち話(ポスター/展示)
インターネットで読める
全国の図書館
二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究
二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究
紙
図書
湊真一, 北海道大学 [著]
[湊真一]
2005-2007
<Y151-H17300041>
国立国会図書館
ERATO湊離散構造処理系プロジェクト : キックオフシンポジウム講演資料
ERATO湊離散構造処理系プロジェクト : キックオフシンポジウム講演資料
デジタル
文書・図像類
湊, 真一
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
BDD/ZDDパッケージ講習会
BDD/ZDDパッケージ講習会
デジタル
文書・図像類
湊, 真一
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について
BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について
デジタル
文書・図像類
湊, 真一
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
はしがき
はしがき
デジタル
文書・図像類
湊, 真一
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
北大版BDD/ZDDパッケージの概要 : 北大ERATOオフィスのIT系インフラ構成の現状と今後の課題について
北大版BDD/ZDDパッケージの概要 : 北大ERATOオフィスのIT系インフラ構成の現状と今後の課題について
デジタル
文書・図像類
湊, 真一
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
ERATO湊離散構造処理系プロジェクト : 概要紹介と最近の話題
ERATO湊離散構造処理系プロジェクト : 概要紹介と最近の話題
デジタル
文書・図像類
湊, 真一
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
ERATOプロジェクトの立ち上げと研究の進展状況について
ERATOプロジェクトの立ち上げと研究の進展状況について
デジタル
文書・図像類
湊, 真一
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
ベイジアンネットワークの機械語へのコンパイル
ベイジアンネットワークの機械語へのコンパイル
デジタル
文書・図像類
高橋, 渉, 湊, 真一, 川原, 純
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
ZDDを用いたパスの列挙 : 打倒Knuthを目指して
ZDDを用いたパスの列挙 : 打倒Knuthを目指して
デジタル
文書・図像類
齋藤, 寿樹, 鈴木, 拡, 湊, 真一
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
確率的グラフィカルモデル
確率的グラフィカルモデル
紙
図書
鈴木譲, 植野真臣 編著
共立出版
2016.7
<MA211-L295>
国立国会図書館
全国の図書館
命題論理に基づく確率モデルのためのBDDと順序符号化を用いた効率的なEMアルゴリズム
命題論理に基づく確率モデルのためのBDDと順序符号化を用いた効率的なEMアルゴリズム
デジタル
文書・図像類
石畠, 正和, 亀谷, 由隆, 佐藤, 泰介, 湊, 真一
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
ZDDによるパスの列挙
ZDDによるパスの列挙
デジタル
文書・図像類
川原, 純, 齋藤, 寿樹, 鈴木, 拡, 湊, 真一, 吉仲, 亮
ERATO湊離散構造処理系プロジェクト
2011-06
インターネットで読める
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力