Jump to main content

yr 〜
yr

Search results 159

基礎からわかるアルゴリズム (ニュートン新書)

基礎からわかるアルゴリズム (ニュートン新書)
Paper図書
パノス・ルリダス 著, 湊真一 監訳, 鳥飼まこと 訳ニュートンプレス2022.5<M159-M878>
National Diet LibraryOther Libraries in Japan
  • Author HeadingLouridas, Panos 湊, 真一 鳥飼, まこと

離散構造処理系の基盤アルゴリズムの研究

離散構造処理系の基盤アルゴリズムの研究
Paper図書
湊真一, 京都大学 [著][湊真一]2015-2019<Y151-H15H05711>
National Diet Library
  • Author Heading湊, 真一 京都大学

基礎から学ぶ情報理論 第2版

基礎から学ぶ情報理論 第2版
Paper図書
中村篤祥, 喜田拓也, 湊真一, 廣瀬善大 共著ムイスリ出版2020.2<M121-M228>
National Diet LibraryOther Libraries in Japan
  • Author Heading中村, 篤祥 喜田, 拓也 湊, 真一 廣瀬, 善大

超高速グラフ列挙アルゴリズム : 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ

超高速グラフ列挙アルゴリズム : 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ
Paper図書
湊真一 編, ERATO湊離散構造処理系プロジェクト 著森北出版2015.4<M159-L654>
National Diet LibraryOther Libraries in Japan
  • Author Heading湊, 真一 科学技術振興機構

基礎から学ぶ情報理論

基礎から学ぶ情報理論
Paper図書
中村篤祥, 喜田拓也, 湊真一 共著ムイスリ出版2013.3<M121-L17>
National Diet LibraryOther Libraries in Japan
  • Author Heading中村, 篤祥 喜田, 拓也 湊, 真一

Theory of computation

Theory of computation
Paper図書
ツォイクマン・トーマス, 湊真一, 大久保好章 共著Corona2009.4<YU111-B803>
National Diet LibraryOther Libraries in Japan
  • Author HeadingZeugmann, Thomas 湊, 真一 大久保, 好章

生成AIの論点 : 学問・ビジネスからカルチャーまで

生成AIの論点 : 学問・ビジネスからカルチャーまで
Paper図書
喜連川優 編著青弓社2024.5<M121-R68>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...atGPTは計算が苦手なのか　湊 真一 １　算数が苦手なChatGPT ２　ChatGPTの仕組み...
  • Contents...尻 善久 言語生成AIの弱点 湊 真一 画像生成AIとその利活用 相...... 健太郎‖著 井尻 善久‖著 湊 真一‖著 相澤 清晴‖著 小沢 高......atGPTは計算が苦手なのか 湊 真一／著 相澤 清晴／著 生成AIとマンガ制作　：　制作における...

社会に貢献する最先端アルゴリズム技術

社会に貢献する最先端アルゴリズム技術
Digital文書・図像類
湊, 真一, 川原, 純2019-09-15京都大学アカデミックデイ2019 : 研究者と立ち話（ポスター/展示）
Available onlineOther Libraries in Japan
  • Author Heading湊, 真一 川原, 純

超高速グラフ列挙アルゴリズム : <フカシギの数え方>が拓く,組合せ問題への新アプローチ POD版

超高速グラフ列挙アルゴリズム : <フカシギの数え方>が拓く,組合せ問題への新アプローチ POD版
Paper図書
湊真一編 ; ERATO湊離散構造処理系プロジェクト著森北出版2023.8
Other Libraries in Japan
  • Author Heading湊, 真一 ERATO湊離散構造処理系プロジェクト 科学技術振興機構

二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究

二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究
Paper図書
湊真一, 北海道大学 [著][湊真一]2005-2007<Y151-H17300041>
National Diet Library
  • Author Heading湊, 真一 北海道大学

ERATO湊離散構造処理系プロジェクト : キックオフシンポジウム講演資料

ERATO湊離散構造処理系プロジェクト : キックオフシンポジウム講演資料
Digital文書・図像類
湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading湊, 真一

BDD/ZDDパッケージ講習会

BDD/ZDDパッケージ講習会
Digital文書・図像類
湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading湊, 真一

ERATOプロジェクトの立ち上げと研究の進展状況について

ERATOプロジェクトの立ち上げと研究の進展状況について
Digital文書・図像類
湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading湊, 真一

BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について

BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について
Digital文書・図像類
湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading湊, 真一

はしがき

はしがき
Digital文書・図像類
湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading湊, 真一

北大版BDD/ZDDパッケージの概要 : 北大ERATOオフィスのIT系インフラ構成の現状と今後の課題について

北大版BDD/ZDDパッケージの概要 : 北大ERATOオフィスのIT系インフラ構成の現状と今後の課題について
Digital文書・図像類
湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading湊, 真一

ERATO湊離散構造処理系プロジェクト : 概要紹介と最近の話題

ERATO湊離散構造処理系プロジェクト : 概要紹介と最近の話題
Digital文書・図像類
湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading湊, 真一

ベイジアンネットワークの機械語へのコンパイル

ベイジアンネットワークの機械語へのコンパイル
Digital文書・図像類
高橋, 渉, 湊, 真一, 川原, 純ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading高橋, 渉 湊, 真一 川原, 純

ZDDを用いたパスの列挙 : 打倒Knuthを目指して

ZDDを用いたパスの列挙 : 打倒Knuthを目指して
Digital文書・図像類
齋藤, 寿樹, 鈴木, 拡, 湊, 真一ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading齋藤, 寿樹 鈴木, 拡 湊, 真一

確率的グラフィカルモデル

確率的グラフィカルモデル
Paper図書
鈴木譲, 植野真臣 編著共立出版2016.7<MA211-L295>
National Diet LibraryOther Libraries in Japan
RSS