本文に飛ぶ

年 〜
年

検索結果 59 件

Advanced automotive control and mathematics : SICE-JSAE-AIMaP tutorial (MI lecture note : Kyushu University ; vol. 84)

Advanced automotive control and mathematics : SICE-JSAE-AIMaP tutorial (MI lecture note : Kyushu University ; vol. 84)
紙図書
editors: Taketoshi Kawabe, Yoshihiro Mizoguchi, Junichi Kako, Masakazu Mukai, Yuji YasuiInstitute of Mathematics for Industry, Kyushu University2021.12<M18-D60>
国立国会図書館
  • 著者標目川邊, 武俊, 1957- 溝口, 佳寛 Kako, Junichi 向井, 正和 Yasui, Y...

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)
紙図書
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編九州大学マス・フォア・インダストリ研究所2015.3<M159-L655>
国立国会図書館
  • 著者標目溝口, 佳寛 Garrigue, Jacques, 1971- 萩原, ...

代数・論理・幾何と情報科学 : 理論から実世界への展開 (マス・フォア・インダストリ研究 ; no. 17)

代数・論理・幾何と情報科学 : 理論から実世界への展開 (マス・フォア・インダストリ研究 ; no. 17)
紙図書
河村彰星, 津曲紀宏, 西澤弘毅, 溝口佳寛 編九州大学マス・フォア・インダストリ研究所2020.2<MA61-M4>
国立国会図書館全国の図書館
  • 著者標目河村, 彰星 津曲, 紀宏 西澤, 弘毅 溝口, 佳寛 九州大学マスフォアインダストリ研究所 九州大学

Study Group Workshop 2013数学協働プログラムlecture&report (MI lecture note : Kyushu University ; vol. 55)

Study Group Workshop 2013数学協働プログラムlecture&report (MI lecture note : Kyushu University ; vol. 55)
紙図書
栄伸一郎, 溝口佳寛, 脇隼人, 渋田敬史 編九州大学マス・フォア・インダストリ研究所2014.2<MA21-L99>
国立国会図書館
  • 著者標目栄, 伸一郎, 1959- 溝口, 佳寛 脇, 隼人

博多ワークショップ「組み合わせとその応用」 : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 48)

博多ワークショップ「組み合わせとその応用」 : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 48)
紙図書
溝口佳寛, 脇隼人, 平坂貢, 谷口哲至, 島袋修 編九州大学マス・フォア・インダストリ研究所2013.3<MA41-L9>
国立国会図書館
  • 著者標目溝口, 佳寛 脇, 隼人 平坂, 貢

誤り訂正符号の原理と応用について

誤り訂正符号の原理と応用について
デジタル文書・図像類
溝口, 佳寛2024-07-28p.1-80
インターネットで読める全国の図書館
  • 著者標目溝口, 佳寛

Hakata Workshop 2014 (Discrete mathematics and its applications) (MI lecture note : Kyushu University ; vol. 56)

Hakata Workshop 2014 (Discrete mathematics and its applications) (MI lecture note : Kyushu University ; vol. 56)
紙図書
editors: Yoshihiro Mizoguchi, Hayato Waki, Takafumi Shibuta, Tetsuji Taniguchi, Osamu Shimabukuro, Makoto Tagami, Hirotake Kurihara, Shuya Chiba九州大学マス・フォア・インダストリ研究所2014.3<MA41-L27>
国立国会図書館
  • 著者標目溝口, 佳寛 脇, 隼人 渋田, 敬史

九州大学数理・データサイエンス教育研究センターの活動について

九州大学数理・データサイエンス教育研究センターの活動について
デジタル文書・図像類
溝口, 佳寛2022-09-13
インターネットで読める全国の図書館
  • 著者標目溝口, 佳寛

論理と計算について考えた人たち

論理と計算について考えた人たち
紙文書・図像類
溝口, 佳寛2019-12-04
全国の図書館
  • 著者標目溝口, 佳寛

Advanced automotive control and mathematics, September 8th, 2021, Onlin, SICE Annual Conference 2021 : SICE-JSAE-AIMap tutorial

Advanced automotive control and mathematics, September 8th, 2021, Onlin, SICE Annual Conference 2021 : SICE-JSAE-AIMap tutorial
紙図書
Taketoshi Kawabe ... [et al.]Institute of Mathematics for Industry, Kyushu University : Graduate School of Mathematics, Kyushu University2021
全国の図書館
  • 著者標目川辺, 武俊 溝口, 佳寛 Kako, Junichi 向井, 正和 Yasui, Y...

研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)

研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)
紙図書
溝口佳寛 [ほか] 編集九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府2015.3
全国の図書館
  • 著者標目溝口, 佳寛 Garrigue, Jacques 萩原, 学 Affel...

Wang Tiles Modeling of Wall Patterns

Wang Tiles Modeling of Wall Patterns
デジタル文書・図像類
Derouet-Jourdan, Alexandre, 溝口, 佳寛, Salvati, Marc九州大学マス・フォア・インダストリ研究所2015-09-18MI lecture note series64p.61-70
インターネットで読める全国の図書館
  • 著者標目Derouet-Jourdan, Alexandre 溝口, 佳寛 Salvati, Marc

オートマトン理論, その応用と抽象化

オートマトン理論, その応用と抽象化
デジタル文書・図像類
溝口, 佳寛九州大学マス・フォア・インダストリ研究所2013-02-28COE Lecture Note46p.193-202
インターネットで読める全国の図書館
  • 著者標目溝口, 佳寛

博多ワークショップ「組み合わせとその応用」 = Hakata workshop, combinatrics and its applications

博多ワークショップ「組み合わせとその応用」 = Hakata workshop, combinatrics and its applications
紙図書
溝口佳寛 [ほか] 編集九州大学マス・フォア・インダストリ研究所 : 九州大学大学院数理学研究院グローバルCOEプログラム「マス・フォア・インダストリ教育研究拠点」2013.3
全国の図書館
  • 著者標目溝口, 佳寛 脇, 隼人 平坂, 貢 谷口, 哲至 島袋, 修

Hakata workshop 2014 : discrete mathematics and its applications

Hakata workshop 2014 : discrete mathematics and its applications
紙図書
editors, Yoshihiro Mizoguchi ... [et al.]九州大学マス・フォア・インダストリ研究所 : 九州大学大学院数理学府2014.3
全国の図書館
  • 著者標目九州大学大学院数理学研究院 溝口, 佳寛

Graph transformations using relational calculus

Graph transformations using relational calculus
紙デジタル博士論文障害者向け資料あり
溝口佳寛 [著]<UT51-92-T285>
インターネットで読める国立国会図書館
  • 著者標目溝口, 佳寛

Study group workshop 2013 数学協働プログラム lecture & report

Study group workshop 2013 数学協働プログラム lecture & report
紙図書
栄伸一郎 [ほか] 編集九州大学マス・フォア・インダストリ研究所 : 九州大学大学院数理学府2014.2
全国の図書館
  • 著者標目九州大学大学院数理学研究院 栄, 伸一郎 溝口, 佳寛 脇, 隼人 渋田, 敬史

Mathematical progress in expressive image synthesis : symposium MEIS2013

Mathematical progress in expressive image synthesis : symposium MEIS2013
紙図書
editors, Ken Anjyo ... [et al.]九州大学マス・フォア・インダストリ研究所 : 九州大学大学院数理学研究院グローバルCOEプログラム「マス・フォア・インダストリ教育研究拠点」2013
全国の図書館
  • 著者標目安生, 健一 落合, 啓之 土橋, 宜典 溝口, 佳寛 鍛冶, 静雄 Symposium: Mathematica...

[056]MIレクチャーノート Vol.56

[056]MIレクチャーノート Vol.56
デジタル文書・図像類
溝口, 佳寛, 脇, 隼人, 渋田, 敬史, 谷口, 哲至, 島袋, 修, 田上, 真, 栗原, 大武, 千葉, 周也Faculty of Mathematics, Kyushu University2014-03-28MI lecture note series56
インターネットで読める全国の図書館
  • 著者標目溝口, 佳寛 脇, 隼人 渋田, 敬史 谷口, 哲至 島袋, 修 田上,...

[041] Forum "Math-for-Industry" 2012 "Information Recovery and Discovery"

[041] Forum "Math-for-Industry" 2012 "Information Recovery and Discovery"
デジタル文書・図像類
Polthier, Konrad, Rossman, Wayne, 千葉, 逸人, Urbachu, H. Paul, Suwa, Tamon, 二宮, 嘉行, Dahan, Xavier, 溝口, 佳寛, McKibbin, Robert, Kato, Sei, Takayama, Koichiro, Shen, Zuowei, Barton, Noel, Hosking, Jonathan, 竹内, 純一, 丸山, 修, Nakano, Junji, Binder, Andreas, Yung, Moti, Kawamoto, Atsushi, 神山, 直之, Jofre, Alejandro, Akiyama, Koichiro, Shirai, Taizo, Lutz, Frank H., 脇, 隼人, Horadam, Kathy, Nakagawa, Junichi, 田上, 大助, Stam, Jos, 山本, 昌宏Faculty of Mathematics, Kyushu University2012-10-22COE Lecture Note41
インターネットで読める全国の図書館
  • 著者標目... Dahan, Xavier 溝口, 佳寛 McKibbin, Robert Kato, Sei Ta...
RSS