Basic Information

Faculty

• 工学部

Professional Memberships

• The Operations Research Society of Japan
• Japanese Society of Computational Statistics
• The Institute of Electronics, Information and Communication Engineers

Academic Degree

• (Kyoto University)
• (Kyoto University)

Language of Instruction

• Japanese
• English

ID,URL

• ORCID ID

  0000-0001-7208-044X

• J-Global ID

  201801020635926987

• External link

  https://www.algo.cce.i.kyoto-u.ac.jp/jkawahara/

Website(s) (URL(s))

• https://www.algo.cce.i.kyoto-u.ac.jp/jkawahara/

researchmap URL

• https://researchmap.jp/junkawahara

Research

Research Topics, Overview of the research

• Research Topics

  Design and evaluation of algorithms that solve graph optimization programs using zero-suppressed binary decision diagrams

• Overview of the research

  A zero-suppressed binary decision diagram is a data structure that compactly and efficiently represents a family of sets. I have been researching design and evaluation of algorithms that enumerate subgraph structures of a given graph such as paths and spanning forests, and that store them into zero-suppressed binary decision diagrams. I have also been researching graph optimization problems such as political redistricting and evacuation planning as applications of my algorithms.

Research Areas

• Informatics, Information theory
• Social infrastructure (civil Engineering, architecture, disaster prevention), Social systems engineering

Papers

• Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability

  Takahisa Toda; Takehiro Ito; Jun Kawahara; Takehide Soh; Akira Suzuki; Junichi Teruyama

  The 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023), Nov. 2023, Peer-reviewed

  
• Sorting balls and water: Equivalence and computational complexity

  Takehiro Ito; Jun Kawahara; Shin-ichi Minato; Yota Otachi; Toshiki Saitoh; Akira Suzuki; Ryuhei Uehara; Takeaki Uno; Katsuhisa Yamanaka; Ryo Yoshinaka

  Theoretical Computer Science, Aug. 2023, Peer-reviewed

  
• Efficient Non-isomorphic Graph Enumeration Algorithms for Subclasses of Perfect Graphs

  Jun Kawahara; Toshiki Saitoh; Hirokazu Takeda; Ryo Yoshinaka; Yui Yoshioka

  In Proceedings of the 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023), 22 Mar. 2023, Peer-reviewed

  
• DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks

  Shoji Kasahara; Jun Kawahara; Shin-ichi Minato; Jumpei Mori

  IEICE Transactions on Information and Systems, 01 Mar. 2023, Peer-reviewed

  
• On robustness against evacuees’ unexpected movement in automatic evacuation guiding

  Jun Kawahara; Takanori Hara; Masahiro Sasabe

  Computers and Electrical Engineering, 16 Dec. 2022, Peer-reviewed, Lead author, Corresponding author

  
• Reallocation Problems with Minimum Completion Time

  Toshimasa Ishii; Jun Kawahara; Kazuhisa Makino; Hirotaka Ono

  The 28th International Computing and Combinatorics Conference (COCOON 2022), 23 Oct. 2022, Peer-reviewed

  
• ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems

  Takehiro Ito; Jun Kawahara; Yu Nakahata; Takehide Soh; Akira Suzuki; Junichi Teruyama; Takahisa Toda

  20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), 30 May 2023, Peer-reviewed, Corresponding author

  
• Sorting Balls and Water: Equivalence and Computational Complexity

  Takehiro Ito; Jun Kawahara; Shin-ichi Minato; Yota Otachi; Toshiki Saitoh; Akira Suzuki; Ryuhei Uehara; Takeaki Uno; Katsuhisa Yamanaka; Ryo Yoshinaka

  11th International Conference on Fun with Algorithms (FUN 2022), Jun. 2022, Peer-reviewed

  
• Decrease and reset for power-down

  James Andro-Vasko; Wolfgang Bein; Hiro Ito; Shoji Kasahara; Jun Kawahara

  Energy Systems, 03 Sep. 2021, Peer-reviewed

  
• The Essential Role of Empirical Validation in Legislative Redistricting Simulation

  Benjamin Fifield; Kosuke Imai; Jun Kawahara; Christopher T. Kenny

  Statistics and Public Policy, 08 Sep. 2020, Peer-reviewed

  
• Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams

  Yu Nakahata; Masaaki Nishino; Jun Kawahara; Shin-ichi Minato

  In Proceedings of the 18th Symposium on Experimental Algorithms (SEA 2020), Jun. 2020, Peer-reviewed

  
• Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration

  Yu Nakahata; Jun Kawahara; Takashi Horiyama; Shin-ichi Minato

  In Proceedings of the 14th International Conference and Workshops on Algorithms and Computation (WALCOM 2020), 02 Apr. 2020, Peer-reviewed

  
• Efficient construction of binary decision diagrams for network reliability with imperfect vertices

  Jun Kawahara; Koki Sonoda; Takeru Inoue; Shoji Kasahara

  Reliability Engineering & System Safety, Aug. 2019, Peer-reviewed, Lead author, Corresponding author

  
• Colorful Frontier-based Search: Implicit Enumeration of Chordal and Interval Subgraphs

  Jun Kawahara; Toshiki Saitoh; Hirofumi Suzuki; Ryo Yoshinaka

  Special Event on Analysis of Experimental Algorithms (SEA^2 2019), Jun. 2019, Peer-reviewed

  
• Evaluation of hotspot cluster detection using spatial scan statistic based on exact counting

  Fumio Ishioka; Jun Kawahara; Masahiro Mizuta; Shin-ichi Minato; Koji Kurihara

  Japanese Journal of Statistics and Data Science, Jun. 2019, Peer-reviewed

  
• Effect of Bitcoin fee on transaction-confirmation process

  Shoji Kasahara; Jun Kawahara

  Journal of Industrial & Management Optimization, Dec. 2018, Peer-reviewed

  
• The Time Complexity of Permutation Routing via Matching, Token Swapping and a Variant

  Jun Kawahara; Toshiki Saitoh; Ryo Yoshinaka

  Journal of Graph Algorithms and Applications, Jan. 2019, Peer-reviewed

  
• A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic

  Shin-ichi Minato; Jun Kawahara; Fumio Ishioka; Masahiro Mizuta; Koji Kurihara

  In Proceedings of the 2019 SIAM International Conference on Data Mining (SDM 2019), 02 May 2019, Peer-reviewed

  
• Aggregating Crowd Opinions Using Shapley Value Regression

  Yuko Sakurai; Jun Kawahara; Satoshi Oyama

  In Proceedings of the 12th Multi-disciplinary International Conference on Artificial Intelligence (MIWAI 2018), Nov. 2018, Peer-reviewed

  
• Enumerating All Spanning Shortest Path Forests with Distance and Capacity Constraints

  Yu NAKAHATA; Jun KAWAHARA; Takashi HORIYAMA; Shoji KASAHARA

  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 01 Sep. 2018, Peer-reviewed

  
• DenseZDD: a compact and fast index for families of sets

  Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato; Kunihiko Sadakane

  Algorithms, Aug. 2018, Peer-reviewed

  
• Enumerating Graph Partitions Without Too Small Connected Components Using Zero-suppressed Binary and Ternary Decision Diagrams

  Yu Nakahata; Jun Kawahara; Shoji Kasahara

  In Proceedings of the 17th International Symposium on Experimental Algorithms (SEA 2018), Jun. 2018, Peer-reviewed

  
• Automatic evacuation guiding scheme based on implicit interactions between evacuees and their mobile nodes

  Nobuhisa Komatsu; Masahiro Sasabe; Jun Kawahara; Shoji Kasahara

  GeoInformatica, Jan. 2018, Peer-reviewed

  
• Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation

  Jun Kawahara; Takeru Inoue; Hiroaki Iwashita; Shin-ichi Minato

  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Sep. 2017, Peer-reviewed, Lead author, Corresponding author

  
• Branch and Bound for Regular Bayesian Network Structure Learning

  Joe Suzuki; Jun Kawahara

  In Proceedings of the 33rd conference on Uncertainty in Artificial Intelligence (UAI 2017), Aug. 2017, Peer-reviewed

  
• Classification of Alkaloid Compounds Based on Subring Skeleton (SRS) Profiling: On Finding Relationship of Compounds with Metabolic Pathways

  Ryohei Eguchi; Naoaki Ono; Hisayuki Horai; Md.Altuf-Ul Amin; Aki Morita Hirai; Jun Kawahara; Shoji Kasahara; Tomoaki Endo; Shigehiko Kanaya

  Journal of Computer Aided Chemistry, Aug. 2017, Peer-reviewed

  
• Solving the Longest Oneway-Ticket Problem and Enumerating Letter Graphs by Augmenting the Two Representative Approaches with ZDDs

  Jun Kawahara; Toshiki Saitoh; Hirofumi Suzuki; Ryo Yoshinaka

  In Proceedings of the Computational Intelligence in Information Systems Conference (CIIS 2016), 20 Nov. 2016, Peer-reviewed

  
• Generating All Patterns of Graph Partitions Within a Disparity Bound

  Jun Kawahara; Takashi Horiyama; Keisuke Hotta; Shin-ichi Minato

  In Proceedings of the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017), 29 Mar. 2017, Peer-reviewed

  
• The Time Complexity of the Token Swapping Problem and Its Parallel Variants

  Jun Kawahara; Toshiki Saitoh; Ryo Yoshinaka

  In Proceedings of the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017), 31 Mar. 2017, Peer-reviewed

  
• ZDDs and Enumeration Problems: State-of-The-Art Techniques and Programming Tool

  TODA Takahisa; SAITOH Toshiki; IWASHITA Hiroaki; KAWAHARA Jun; MINATO Shin-ichi

  Computer Software, 25 Jul. 2017, Peer-reviewed, Invited

  
• Better bounds for online k-frame throughput maximization in network switches

  Jun Kawahara; Koji M. Kobayashi; Shuichi Miyazaki

  THEORETICAL COMPUTER SCIENCE, Jan. 2017, Peer-reviewed

  
• An Offline Mobile Application for Automatic Evacuation Guiding in Outdoor Environments

  Junki Itoi; Masahiro Sasabe; Jun Kawahara; Shoji Kasahara

  Scientific Phone Apps and Mobile Devices, Jan. 2017, Peer-reviewed

  
• Graphillion: software library for very large sets of labeled graphs

  Takeru Inoue; Hiroaki Iwashita; Jun Kawahara; Shin-ichi Minato

  INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, Feb. 2016, Peer-reviewed

  
• Accuracy Improvement for Backup Tasks in Hadoop Speculative Algorithm

  Worachate Apichanukul; Jun Kawahara; Shoji Kasahara

  2016 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY (CIT), 08 Dec. 2016, Peer-reviewed

  
• Tight analysis of priority queuing for egress traffic

  Jun Kawahara; Koji M. Kobayashi; Tomotaka Maeda

  COMPUTER NETWORKS, Nov. 2015, Peer-reviewed

  
• Optimal buffer management for 2-frame throughput maximization

  Jun Kawahara; Koji M. Kobayashi

  COMPUTER NETWORKS, Nov. 2015, Peer-reviewed

  
• An improved lower bound for one-dimensional online unit clustering

  Jun Kawahara; Koji M. Kobayashi

  THEORETICAL COMPUTER SCIENCE, Oct. 2015, Peer-reviewed

  
• Swapping labeled tokens on graphs

  Katsuhisa Yamanaka; Erik D. Demaine; Takehiro Ito; Jun Kawahara; Masashi Kiyomi; Yoshio Okamoto; Toshiki Saitoh; Akira Suzuki; Kei Uchizawa; Takeaki Uno

  THEORETICAL COMPUTER SCIENCE, Jun. 2015, Peer-reviewed

  
• Automatic Evacuation Guiding Scheme Using Trajectories of Mobile Nodes

  Nobuhisa Komatsu; Masahiro Sasabe; Jun Kawahara; Shoji Kasahara

  MOBILE WEB AND INTELLIGENT INFORMATION SYSTEMS, 24 Aug. 2015, Peer-reviewed

  
• DenseZDD: A Compact and Fast Index for Families of Sets

  Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato; Kunihiko Sadakane

  In Proceedings of the 13th International Symposium on Experimental Algorithms (SEA 2014), 01 Jul. 2014, Peer-reviewed

  
• Swapping Labeled Tokens on Graphs

  Katsuhisa Yamanaka; Erik D. Demaine; Takehiro Ito; Jun Kawahara; Masashi Kiyomi; Yoshio Okamoto; Toshiki Saitoh; Akira Suzuki; Kei Uchizawa; Takeaki Uno

  FUN WITH ALGORITHMS, 02 Jul. 2014, Peer-reviewed

  
• Tight Analysis of Priority Queuing for Egress Traffic

  Jun Kawahara; Koji M. Kobayashi; Tomotaka Maeda

  COMBINATORIAL OPTIMIZATION AND APPLICATIONS (COCOA 2014), 2014, Peer-reviewed

  
• Distribution Loss Minimization With Guaranteed Error Bound

  Takeru Inoue; Keiji Takano; Takayuki Watanabe; Jun Kawahara; Ryo Yoshinaka; Akihiro Kishimoto; Koji Tsuda; Shin-ichi Minato; Yasuhiro Hayashi

  IEEE TRANSACTIONS ON SMART GRID, Jan. 2014, Peer-reviewed

  
• Enumeration of region partitioning for evacuation planning based on ZDD

  Atsushi Takizawa; Yasufumi Takechi; Akio Ohta; Naoki Katoh; Takeru Inoue; Takashi Horiyama; Jun Kawahara; Shin-ichi Minato

  In Proceedings of the International Symposium on Operations Research and its Applications (ISORA 2013), Aug. 2013, Peer-reviewed

  
• Shared-memory parallel frontier-based search

  Shogo Takeuchi; Jun Kawahara; Akihiro Kishimoto; Shin-Ichi Minato

  In Proceedings of the 7th International Workshop on Algorithms and Computation (WALCOM 2013), 14 Feb. 2013, Peer-reviewed

  
• Optimal buffer management for 2-frame throughput maximization

  Jun Kawahara; Koji M. Kobayashi

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, Peer-reviewed

  
• Better Bounds for Online k-Frame Throughput Maximization in Network Switches

  Jun Kawahara; Koji M. Kobayashi; Shuichi Miyazaki

  ALGORITHMS AND COMPUTATION, 2013, Peer-reviewed

  
• Counterexamples to the long-standing conjecture on the complexity of BDD binary operations

  Ryo Yoshinaka; Jun Kawahara; Shuhei Denzumi; Hiroki Arimura; Shin-ichi Minato

  Information Processing Letters, 31 Aug. 2012, Peer-reviewed

  
• An online algorithm optimally self-tuning to congestion for power management problems

  Wolfgang Bein; Naoki Hatta; Nelson Hernandez-Cons; Hiro Ito; Shoji Kasahara; Jun Kawahara

  In Proceedings of the 9th Workshop on Approximation and Online Algorithms (WAOA 2011), 09 Sep. 2012, Peer-reviewed

  
• Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs

  Ryo Yoshinaka; Toshiki Saitoh; Jun Kawahara; Koji Tsuruma; Hiroaki Iwashita; Shin-ichi Minato

  Algorithms, 05 Apr. 2012, Peer-reviewed

  
• A randomized algorithm for two servers in cross polytope spaces

  Wolfgang Bein; Kazuo Iwama; Jun Kawahara; Lawrence L. Larmore; James A. Oravec

  Theoretical Computer Science, Feb. 2011, Peer-reviewed

  
• Randomized competitive analysis for two server problems

  Wolfgang Bein; Kazuo Iwama; Jun Kawahara

  Algorithms, Sep. 2008, Peer-reviewed

  
• A randomized algorithm for two servers in cross polytope spaces

  Wolfgang Bein; Kazuo Iwama; Jun Kawahara; Lawrence L. Larmore; James A. Oravec

  In Proceedings of the 5th Workshop on Approximation and Online Algorithms (WAOA 2007), Sep. 2008, Peer-reviewed

  
• Randomized Competitive Analysis for Two-Server Problems

  Wolfgang Bein; Kazuo Iwama; Jun Kawahara

  In Proceedings of the 16th annual European symposium on Algorithms (ESA 2008), Sep. 2008, Peer-reviewed

  
• Finite-state online algorithms and their automated competitive analysis

  Takashi Horiyama; Kazuo Iwama; Jun Kawahara

  ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2006, Peer-reviewed

  

Misc.

• Hadoopデータセンタにおけるオークションメカニズムを用いた料金設定と計算資源割当て手法

  真鍋 優; 川原 純; 笠原 正治

  電子情報通信学会 情報通信マネジメント研究会, Mar. 2019

  
• 禁止細分で特徴づけられる部分グラフの列挙索引化

  中畑 裕; 川原 純; 堀山 貴史; 湊 真一

  基盤(S) 離散構造処理系プロジェクト 「2018年度 秋のワークショップ」, Nov. 2018

  
• ZDDを用いた安定マッチング列挙の検討

  桃井 雄資; 川原 純; 笠原 正治

  基盤(S) 離散構造処理系プロジェクト 「2018年度 秋のワークショップ」, Nov. 2018

  
• 決定グラフによる禁止マイナー演算

  中畑 裕; 川原 純; 堀山 貴史; 笠原 正治

  北海道大学 ERATO/基盤(S) 離散構造処理系プロジェクト 「2018年度 初夏のワークショップ」, Jul. 2018

  
• Hadoop データセンタの運営における留保価格を用いた料金設定手法の検討

  真鍋 優; 川原 純; 笠原 正治

  マルチメディア，分散，協調とモバイル(DICOMO2018)シンポジウム, Jul. 2018

  
• 組合せバンディットを用いたコグニティブ無線におけるグループ形成方策

  飯塚 翔; 川原 純; 笠原 正治

  人工知能学会 第106回人工知能基本問題研究会, Mar. 2018

  
• クラウドプラットフォームにおける継続的にエラーイベントを発生させるタスクの解析

  萬代 光治; 川原 純; 笠原 正治

  電子情報通信学会 情報通信マネジメント研究会, Mar. 2018

  
• グラフ分割集合を表す ZDD に対する連結成分重み下限制約

  中畑 裕; 川原 純; 笠原 正治

  情報処理学会 第166回アルゴリズム研究会, Jan. 2018

  
• Evaluation Of Spatial Cluster Detection Method Based On All Geographical Linkage Patterns

  Fumio Ishioka; Jun Kawahara; Koji Kurihara

  The 10th Conference of the IASC-ARS/68th Annual NZSA Conference, 11 Dec. 2017

  
• BDDを用いたリンクの故障に依存関係がある場合のネットワーク信頼性評価

  吉田 拓弥; 川原 純; 井上 武; 笠原 正治

  情報処理学会 第165回アルゴリズム研究会, 17 Nov. 2017

  
• 不確実な状況における誤検知と誤警報の最小化を目的とした協調センシングのためのグループ形成法

  飯塚 翔; 川原 純; 笠原 正治

  IEEE COMSOC 関西チャプタ 2017年度学生ワークショップ, 26 Oct. 2017

  
• クラウドプラットフォームにおけるジョブスケジューリングの改善

  萬代 光治; 川原 純; 笠原 正治

  2017年度 情報処理学会関西支部 支部大会 講演論文集, 25 Sep. 2017

  
• k-out-of-Nルールによる協調センシングのためのマルコフ連鎖モンテカルロ法を用いたパラメータ推定法

  飯塚 翔; 川原 純; 笠原 正治

  電子情報通信学会 ネットワークシステム研究会, 08 Sep. 2017

  
• Enumerating All Rooted Shortest Path Forests Using Zero-suppressed Binary Decision Diagrams

  Yu Nakahata; Jun Kawahara; Takashi Horiyama; Shoji Kasahara

  The 20th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2017), 25 Aug. 2017

  
• Enumeration and evaluation for the single-seat constituency system

  Keisuke Hotta; Jun Kawahara; Takashi Horiyama; Shin-ichi Minato

  The 21st conference of the International Federation of Operational Research Societies (IFORS 2017), 17 Jul. 2017

  
• 部分最短経路木分割の列挙

  中畑 裕; 川原 純; 笠原 正治

  北海道大学 ERATO/基盤(S) 離散構造処理系プロジェクト 「2017年度 初夏のワークショップ」, 24 Jun. 2017

  
• フロンティア法における頂点変数の効率的な扱いについて ～ネットワーク信頼性の場合～

  井上 武; 川原 純; 園田 晃己; 笠原 正治

  北海道大学 ERATO/基盤(S) 離散構造処理系プロジェクト 「2017年度 初夏のワークショップ」, 23 Jun. 2017

  
• アラーム共起に基づくマルチベンダNW運用手順策定法の検討

  近藤 喜芳; 川原 純; 笹部 昌弘; 長谷川 輝之

  電子情報通信学会2017年総合大会, 22 Mar. 2017

  
• データのアクセス頻度に着目したHadoop分散ファイルシステムの性能向上

  山本 景; 川原 純; 笠原 正治

  第79回情報処理学会全国大会, 16 Mar. 2017

  
• グラフの連結成分の大きさを考慮した連結成分分割の高速な列挙

  中畑 裕; 川原 純; 笠原 正治

  情報処理学会 第162回アルゴリズム研究会, 13 Mar. 2017

  
• コグニティブ無線における協調センシングのための多腕バンディット問題を応用したグループ形成法

  飯塚 翔; 川原 純; 笠原 正治

  電子情報通信学会 ネットワークシステム研究会, 03 Mar. 2017

  
• ゼロサプレス型二分決定グラフによる文字グラフの列挙

  川原 純; 斎藤 寿樹; 吉仲 亮

  電子情報通信学会コンピュテーション研究会, 24 Jun. 2016

  
• モバイル端末における測位誤差を考慮したオフライン型避難誘導アプリケーションの設計・実装・評価

  糸井 純暉; 笹部 昌弘; 川原 純; 笠原 正治

  電子情報通信学会コミュニケーションクオリティ研究会, 07 Mar. 2016

  
• 避難者・モバイル端末連携型自動避難誘導システムにおける情報共有方式に関する一検討

  小松 展久; 笹部 昌弘; 川原 純; 笠原 正治

  電子情報通信学会コミュニケーションクオリティ研究会, 07 Mar. 2016

  
• パーソントリップ調査に基づく移動モデルのDTNルーチングに対する影響評価

  石倉 明生; 川原 純; 笹部 昌弘; 笠原 正治

  電子情報通信学会コミュニケーションクオリティ研究会, 07 Mar. 2016

  
• フロンティア法によるノードの故障も考慮したネットワーク信頼性評価手法の提案

  園田 晃己; 川原 純; 井上 武; 笠原 正治; 明石 修; 川原 亮一; 斎藤 洋

  電子情報通信学会ネットワークシステム研究会, 04 Mar. 2016

  
• トークン整列問題の計算複雑に関する一考察

  川原 純; 斎藤 寿樹; 吉仲 亮

  第156回アルゴリズム研究会, 21 Jan. 2016

  
• モバイル端末におけるオフライン型避難誘導アプリケーションの開発状況について

  糸井 純暉; 笹部 昌弘; 川原 純; 笠原 正治

  第7回 DTNとその未来に関するワークショップ, 20 Nov. 2015

  
• 避難者と携帯端末の連携に基づく避難誘導アプリケーションの設計

  糸井 純暉; 笹部 昌弘; 川原 純; 笠原 正治

  電子情報通信学会ソサイエティ大会, 09 Sep. 2015

  
• オーバレイネットワークにおけるパス選択のためのゼロサプレス型二分決定グラフを用いたパス列挙アルゴリズム

  園田 晃己; 川原 純; 笹部 昌弘; 笠原 正治

  電子情報通信学会コミュニケーションクオリティ研究会, 06 Jul. 2015

  
• 階層クラスタリングを用いたフロンティア法変数順序決定アルゴリズム

  園田 晃己; 川原 純; 笹部 昌弘; 笠原 正治

  北海道大学 ERATO/基盤(S) 離散構造処理系プロジェクト 「2015年度 初夏のワークショップ」, 11 Jun. 2015

  
• フロンティア法による連結成分列挙と選挙制度への応用

  堀田 敬介; 川原 純; 堀山 貴史; 湊 真一

  日本選挙学会 2015年度総会・研究会, 17 May 2015

  
• 単項二階論理式で与えられた論理関数を表す決定グラフの構築

  大場 翔; 川原 純; 湊 真一

  2021年度 人工知能学会全国大会 (第37回), 07 Jun. 2023

  
• 停電復旧の最短手順を算出するアルゴリズム

  川原 純; 山岡 宙太; 伊藤 健洋; 鈴木 顕; 飯岡 大輔; 杉村 修平; 後藤 誠弥; 田邊 隆之

  令和5年電気学会全国大会, 17 Mar. 2023

  
• MDD を用いた変更の少ない選挙区割の列挙

  市野 達也; 川原 純; 湊 真一; 堀田 敬介

  日本オペレーションズ・リサーチ学会 2023年春期研究発表会, 08 Mar. 2023

  
• ZDDによるパターン頻度表を用いた頻出アイテム集合マイニングの追加データ処理手法

  周 文爍; 川原 純; 湊 真一

  情報処理学会 第85回全国大会, 02 Mar. 2023

  
• 辺重み付き系列二分決定グラフによる頻出部分列の多重集合表現とその評価

  杉野 創; 川原 純; 湊 真一

  情報処理学会 第85回全国大会, 02 Mar. 2023

  
• 部分順列グラフの集合を表現するZDDの構築

  高嶋 勇哉; 川原 純; 湊 真一

  情報処理学会 第85回全国大会, 02 Mar. 2023

  
• ZDDを用いた停電復旧の最短手順を算出するアルゴリズム

  山岡 宙太; 川原 純; 伊藤 健洋; 鈴木 顕; 飯岡 大輔; 杉村 修平; 後藤 誠弥; 田邊 隆之

  2022年度「組合せ遷移」の学生シンポジウム, 02 Mar. 2023

  
• 多分決定グラフを用いた変更の少ない選挙区割の列挙

  市野 達也; 川原 純; 湊 真一; 堀田 敬介

  2022年度「組合せ遷移」の学生シンポジウム, 20 Feb. 2023

  
• ビンパッキングの遷移におけるバッファ最小化問題

  平林 可意; 藤原 洋志; 川原 純; 山本 博章

  2022年度「組合せ遷移」の学生シンポジウム, 20 Feb. 2023

  
• 独立集合遷移の隣接回数最小化問題

  岩政 勇仁; 川原 純; 前田 陽平; 湊 真一

  2022年度「組合せ遷移」の学生シンポジウム, 20 Feb. 2023

  
• A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems

  Shin-ichi Minato; Mutsunori Banbara; Takashi Horiyama; Jun Kawahara; Ichigaku Takigawa; Yutaro Yamaguchi

  5th Workshop on Enumeration Problems and Applications (WEPA 2022), 23 Nov. 2022

  
• 理想グラフの部分クラスに対する非同型グラフ列挙アルゴリズム

  武田 浩和; 芳岡 優衣; 斎藤 寿樹; 川原 純; 吉仲 亮

  情報処理学会 第190回アルゴリズム研究会, 17 Nov. 2022

  
• ネットワーク信頼性評価におけるk辺連結性を表現するMDDの構築法

  阿部 春樹; 川原 純; 湊 真一

  情報処理学会 第190回アルゴリズム研究会, 17 Nov. 2022

  
• 最適化と解列挙による2022 選挙区勧告案の検証評価

  堀田 敬介; 川原 純

  日本オペレーションズ・リサーチ学会 2022年秋季研究発表会, 14 Sep. 2022

  
• 部分理想グラフの集合を表現するZDDの構築

  高嶋 勇哉; 川原 純; 斎藤 寿樹; 吉仲 亮; 湊 真一

  2022年度 夏のLAシンポジウム, 19 Jul. 2022

  
• 最短路遷移問題のZDDを用いた解法と評価

  大場 翔; 川原 純; 湊 真一

  2022年度 人工知能学会全国大会 (第36回), 17 Jun. 2022

  
• ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙

  湊 真一; 番原 睦則; 堀山 貴史; 川原 純; 瀧川 一学; 山口 勇太郎

  情報処理学会 第187回アルゴリズム研究会, 14 Mar. 2022

  
• 制約を緩和したトークンスライディング問題

  前田 陽平; 川原 純

  2021年度「組合せ遷移」の学生シンポジウム, 09 Mar. 2022

  
• 彩色遷移ソルバーの実装と性能

  市野 達也; 川原 純; 湊 真一

  2021年度「組合せ遷移」の学生シンポジウム, 09 Mar. 2022

  
• 有界モデル検査による全域木遷移ソルバ実装手法の提案と評価

  小西 岳志; 川原 純; 戸田 貴久

  2021年度「組合せ遷移」の学生シンポジウム, 09 Mar. 2022

  
• Computational complexity of ball/water sort puzzles

  伊藤 健洋; 川原 純; 湊 真一; 大舘 陽太; 斎藤 寿樹; 鈴木 顕; 上原 隆平; 宇野 毅明; 山中 克久; 吉仲 亮

  第16回組合せゲーム・パズル研究集会, 07 Mar. 2022

  
• ZDD の反復的トップダウン構築による選挙区割問題に対する厳密解列挙高速化

  山崎 宏紀; 川原 純; 湊 真一

  情報処理学会 第84回全国大会, 04 Mar. 2022

  
• 有界モデル検査による独立集合遷移問題の解法に関する考察

  戸田 貴久; 伊藤 健洋; 川原 純; 宋 剛秀; 鈴木 顕; 照山 順一

  情報処理学会 第186回アルゴリズム研究会, 28 Jan. 2022

  
• 大規模文字列集合データを表現するSequence BDDの高速な構築手法とその評価

  杉野 創; 川原 純; 湊 真一

  2021年度 人工知能学会全国大会 (第35回), 09 Jun. 2021

  
• コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法

  湊 真一; 番原 睦則; 堀山 貴史; 川原 純; 瀧川 一学; 山口 勇太郎

  電子情報通信学会 コンピュテーション研究会, 04 Dec. 2020

  
• メニエルグラフと交差弦グラフを表すZDDの構築アルゴリズム

  馬場 瑛義; 川原 純; 笠原 正治

  情報処理学会 第180回アルゴリズム研究会, 25 Nov. 2020

  
• 選挙区割問題に対する ZDD を用いた近似的列挙手法の提案と評価

  山崎 宏紀; 川原 純; 湊 真一

  第19回情報科学技術フォーラム, 02 Sep. 2020

  
• グラフの全点対間の点カットを索引化する BDD の構築

  髙橋 昌大; 川原 純; 湊 真一

  2020年度 人工知能学会全国大会 (第34回), 10 Jun. 2020

  
• ゼロサプレス型二分決定グラフによるマッチングの列挙

  桃井 雄資; 川原 純; 笠原 正治

  日本オペレーションズ・リサーチ学会 2020年春季研究発表会, 13 Mar. 2020

  
• 解の多様性を考慮したビームサーチと局所探索法によるフロンティア法を高速化するための変数順序付け

  長谷 洋斗; 川原 純; 笠原 正治

  人工知能学会 第112回人工知能基本問題研究会, 08 Mar. 2020

  
• 次数制限付きハッセ図表現の情報理論的下限

  森 順平; 川原 純; 湊 真一

  電子情報通信学会 コンピュテーション研究会, 01 Mar. 2020

  
• On implicit enumeration of subgraphs in some graph classes

  Jun Kawahara; Toshiki Saitoh; Hirofumi Suzuki; Ryo Yoshinaka

  WINTER FESTA Episode 5, 25 Dec. 2019

  
• MDDを用いた multi-state network の信頼性厳密計算

  中畑 裕; 川原 純; 湊 真一

  基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」, 06 Nov. 2019

  
• ZDDを用いた部分二部グラフと部分弦二部グラフの列挙

  吉村 知行; 川原 純; 湊 真一

  基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」, 05 Nov. 2019

  
• ZDDを用いた不満度が両側平等なマッチング解の列挙の検討

  桃井 雄資; 川原 純; 笠原 正治

  基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」, 05 Nov. 2019

  
• フロンティアの増減と多様な解の探索を考慮したビームサーチによるフロンティア法の変数順序付け

  長谷 洋斗; 川原 純; 笠原 正治

  基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」, 04 Nov. 2019

  
• Decision-Diagram-Based Enumeration of d-Cutsets

  Yu Nakahata; Jun Kawahara; Shin-ichi Minato

  3rd International Workshop on Enumeration Problems & Applications (WEPA 2019), 29 Oct. 2019

  
• Generalization of Graphs Uniquely Determined by Degree Sequences

  Takashi Horiyama; Jun Kawahara; Shin-ichi Minato; Yu Nakahata

  夏のLAシンポジウム2019, 31 Jul. 2019

  
• ZDDを用いた安定性緩和マッチング解列挙の一検討

  桃井 雄資; 川原 純; 笠原 正治

  基盤(S) 離散構造処理系プロジェクト 「2019年度 初夏のワークショップ」, 29 Jun. 2019

  
• グラフと色付き次数列

  中畑 裕; 川原 純; 堀山 貴史; 湊 真一

  基盤(S) 離散構造処理系プロジェクト 「2019年度 初夏のワークショップ」, 28 Jun. 2019

  
• ZDDを用いたグラフ細分構造の列挙索引化

  中畑 裕; 川原 純; 堀山 貴史; 湊 真一

  電子情報通信学会 コンピュテーション研究会, 11 May 2019

  
• ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems

  Takehiro Ito; Jun Kawahara; Yu Nakahata; Takehide Soh; Akira Suzuki; Junichi Teruyama; Takahisa Toda

  CoRR, 2022

  
• Sorting Balls and Water: Equivalence and Computational Complexity

  Takehiro Ito; Jun Kawahara; Shin-ichi Minato; Yota Otachi; Toshiki Saitoh; Akira Suzuki; Ryuhei Uehara; Takeaki Uno; Katsuhisa Yamanaka; Ryo Yoshinaka

  CoRR, 2022

  
• Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions

  Shin-ichi Minato; Mutsunori Banbara; Takashi Horiyama; Jun Kawahara; Ichigaku Takigawa; Yutaro Yamaguchi 0005

  CoRR, 2022

  
• Enumerating Graph Partitions Without Too Small Connected Components Using Zero-suppressed Binary and Ternary Decision Diagrams

  Yu Nakahata; Jun Kawahara; Shoji Kasahara

  CoRR, 2018

  
• Enumeration of Tsume-Shogi diagrams by the reverse method

  Takashi Horiyama; Hiro Ito; Kazuo Iwama; Jun Kawahara

  INTERNATIONAL CONFERENCE ON INFORMATICS EDUCATION AND RESEARCH FOR KNOWLEDGE-CIRCULATING SOCIETY, PROCEEDINGS, Jan. 2008

  
• Reallocation Problems with Minimum Completion Time.

  Toshimasa Ishii; Jun Kawahara; Kazuhisa Makino; Hirotaka Ono

  CoRR, 2021

  
• Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.

  Yu Nakahata; Jun Kawahara; Takashi Horiyama; Shin-ichi Minato

  CoRR, Nov. 2019

  
• DS-1-14 Resolving Missiles for Enumerating Tsume-Shogi Instances by the Reverse Method

  Arizuka Masaki; Horiyama Takashi; Ito Hiro; Iwama Kazuo; Kawahara Jun

  Proceedings of the IEICE General Conference, 05 Mar. 2008

  
• An Efficient ZDD Construction Method Using Recuresive Specifications

  岩下 洋哲; 川原 純; 湊 真一

  研究報告システムLSI設計技術（SLDM）, 19 Nov. 2012

  
• ZDDのリンクパズルへの応用

  川原純

  組合せゲーム パズルのミニ研究集会, 2011, 2011

  
• An Optimal Bound for the 2-Frame Throughput Maximization Problem

  KOBAYASHI Koji; KAWAHARA Jun

  IEICE technical report, 15 Apr. 2011

  
• Path Enumeration Algorithms Using ZDD and Their Performance Evaluations

  斎藤 寿樹; 川原 純; 吉仲 亮; 鈴木 拡; 湊 真一

  研究報告アルゴリズム（AL）, 28 Feb. 2011

  
• Automated Competitive Analysis of Online Problems

  HORIYAMA Takashi; IWAMA Kazuo; KAWAHARA Jun

  IEICE technical report, 19 Oct. 2005

  
• Proposal and Evaluation of Evacuation Guiding Scheme Using Trajectories of Mobile Terminals

  KOMATSU Nobuhisa; SASABE Masahiro; KAWAHARA Jun; KASAHARA Shoji

  Technical report of IEICE. CQ, 22 Jan. 2015

  
• BS-8-2 On detection of outlier trajectories in evacuation guiding system using trajectories of mobile terminals

  Otsuki Kohei; Kawahara Jun; Sasabe Masahiro; Kasahara Shoji

  Proceedings of the IEICE General Conference, 24 Feb. 2015

  
• Improved bounds for online k-frame throughput maximization in network switches

  KOBAYASHI Koji M.; KAWAHARA Jun; MIYAZAKI Shuichi

  IEICE technical report. Theoretical foundations of Computing, 24 Apr. 2014

  
• ZDDを用いた都市の避難所割り当ての列挙

  瀧澤重志; 武知祥史; 大田章雄; 中野浩太郎; 加藤直樹; 井上武; 堀山貴史; 川原純; 湊真一

  日本オペレーションズ・リサーチ学会 秋季研究発表会, Sep. 2013

  
• Compact and Fast Indices Based on Zero-Suppressed Binary Decision Diagrams

  DENZUMI Shuhei; KAWAHARA Jun; TSUDA Koji; ARIMURA Hiroki; MINATO Shin-ichi; SADAKANE Kunihiko

  IEICE technical report. Theoretical foundations of Computing, 11 Mar. 2013

  
• フロンティア法による電力網構成制御

  井上武; 高野圭司; 渡辺喬之; 川原純; 吉仲亮; 岸本章宏; 津田宏治; 湊真一; 林泰弘

  オペレーションズ・リサーチ, Nov. 2012, Invited

  
• Data Structures Using Decision Diagrams(My Bookmark)

  KAWAHARA Jun; Jun Kawahara

  人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence, 01 Sep. 2012

  
• [Invited Talk] Analyzing power distribution networks by frontier-based method

  井上武; 高野圭司; 渡辺喬之; 川原純; 吉仲亮; 岸本章宏; 津田宏治; 湊真一; 林泰弘

  電子情報通信学会 技術研究報告, Jul. 2012, Invited

  
• Generalization of ZDD Construction Algorithms for Enumerating and Indexing the Solutions of Combinatorial Problems

  KAWAHARA Jun; MINATO Shin-ichi

  IEICE technical report. Theoretical foundations of Computing, 14 Jun. 2012

  
• DK-2-2 Applying the Frontier-Based Search Method to Various Link Puzzle Problems

  Yoshinaka Ryo; Iwashita Hiroaki; Kawahara Jun; Saitoh Toshiki; Tsuruma Koji; Minato Shin-ichi

  Proceedings of the IEICE General Conference, 06 Mar. 2012

  
• DK-2-3 An application of the frontier-based method to configure power networks

  INOUE Takeru; TAKANO Keiji; WATANABE Takayuki; KAWAHARA Jun; YOSHINAKA Ryo; KISHIMOTO Akihiro; TSUDA Koji; MINATO Shin-ichi; HAYASHI Yasuhiro

  Proceedings of the IEICE General Conference, 06 Mar. 2012

  
• ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法

  井上武; 高野圭司; 渡辺喬之; 川原純; 吉仲亮; 岸本章宏; 津田宏治; 湊真一; 林泰弘

  電気学会 全国大会, Mar. 2012

  
• Entwork Reliability Evaluation Using Efficient Path Enumeration ALgorithms

  斎藤寿樹; 川原純; 吉仲亮; 井上武; 湊真一

  電子情報通信学会 技術研究報告, Jul. 2011

  

Presentations

• リンク故障について任意の依存関係を扱えるネットワーク信頼性評価法

  川原 純; 井上 武; 笠原 正治

  電子情報通信学会 コミュニケーションクオリティ研究会, 15 Mar. 2019

  
• グラフの連結成分列挙の改良

  川原 純

  基盤(S) 離散構造処理系プロジェクト 「2018年度 秋のワークショップ」, 26 Nov. 2018

  
• グラフ集合を圧縮して活用するためのデータ構造とアルゴリズム

  川原 純

  第21回情報論的学習理論ワークショップ, 05 Nov. 2018

  
• SEA2018発表報告および最近の研究について

  中畑 裕; 川原 純

  電子情報通信学会 コンピュテーション研究会, 26 Oct. 2018

  
• 信頼性評価のためのBDDパッケージインターフェース

  川原 純

  北海道大学 ERATO/基盤(S) 離散構造処理系プロジェクト 「2018年度 初夏のワークショップ」, 07 Jul. 2018

  
• フロンティア法のチュートリアル＋最近の状況

  川原 純

  基盤(S)離散構造処理系プロジェクト京大拠点キックオフ ミニ集会, 10 May 2018

  
• 色付きフロンティア法

  川原 純

  基盤(S) 離散構造処理系プロジェクト「2017年度 秋のワークショップ」, 13 Nov. 2017

  
• Enumeration algorithms for political districting

  Jun Kawahara; Takashi Horiyama; Keisuke Hotta; Shin-ichi Minato

  Conference of the International Federation of Classification Societies (IFCS 2017), 08 Aug. 2017

  
• ノード故障を考慮したネットワーク信頼性評価

  川原 純; 園田 晃己; 井上 武; 笠原 正治

  冬のLAシンポジウム2016, 13 Feb. 2017

  
• 二分決定グラフを用いたグラフ最適化

  川原 純

  日本オペレーションズ・リサーチ学会 待ち行列研究部会 第266回部会, 18 Feb. 2017

  
• SAPPOROBDD extended

  川原 純

  基盤(S) 離散構造処理系プロジェクト「2016年度 秋のワークショップ」, 22 Nov. 2016

  
• ゼロサプレス型二分決定グラフによる文字グラフの列挙

  川原 純

  第24回列挙アルゴリズムセミナー, 13 Oct. 2016

  
• 一票の格差が小さな選挙区の列挙

  川原 純; 堀山 貴史; 堀田 敬介; 湊 真一

  企画セッション「超高速グラフ列挙法と統計学への応用」, 05 Sep. 2016

  
• 連結成分分割列挙技法のホットスポット検出への応用に向けて

  川原 純

  北海道大学 ERATO/基盤(S) 離散構造処理系プロジェクト 「2016年度 初夏のワークショップ」, 18 Jun. 2016

  
• 種々の評価尺度を用いた選挙区割の比較

  川原 純; 堀田 敬介; 堀山 貴史; 湊 真一

  情報系 WINTER FESTA ～ 基礎から変える情報分野 ～, 22 Dec. 2015

  
• ZDDを用いた連結成分分割列挙

  川原 純

  第22回列挙アルゴリズムセミナー, 09 Oct. 2015

  
• m連結成分分割の高速列挙法と区割の比較

  川原 純; 堀田 敬介; 堀山 貴史; 湊 真一

  日本オペレーションズ・リサーチ学会 2015年秋季研究発表会, 10 Sep. 2015

  
• 複数終端ZDDを用いた連結成分重み比順の連結成分分割列挙

  川原 純

  北海道大学 ERATO/基盤(S) 離散構造処理系プロジェクト セミナー, 19 Aug. 2015

  
• 連結成分重み比順に連結成分分割を列挙する手法

  川原 純

  北海道大学 ERATO/基盤(S) 離散構造処理系プロジェクト 「2015年度 初夏のワークショップ」, 11 Jun. 2015

  
• ZDDを用いた組合せ遷移ソルバー

  伊藤 健洋; 川原 純; 中畑 裕; 宋 剛秀; 鈴木 顕; 照山 順一; 戸田 貴久

  日本オペレーションズ・リサーチ学会 2022年秋季研究発表会, 14 Sep. 2022

  
• ブロックDAGに対する最大k-独立集合問題の二分決定グラフを用いた解法

  伝住 周平; 川原 純

  情報処理学会 第187回アルゴリズム研究会, 14 Mar. 2022

  
• ZDDを用いた組合せ遷移ソルバーについての考察

  伊藤 健洋; 川原 純; 宋 剛秀; 鈴木 顕; 照山 順一; 戸田 貴久

  2021年度 冬のLAシンポジウム, 01 Feb. 2022

  
• 部分 (k, l)-弦グラフ集合のZDD構築

  川原 純

  基盤(A)「離散構造処理系に基づく列挙と最適化の統合的技法の研究」 2020.09 プロジェクト近況報告＆自由討論会, 17 Sep. 2020

  
• （チュートリアル）ブロックチェーン技術の解説

  川原 純

  北大京大合同セミナ集会 兼 基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW2020.01＠Sapporo)」, 06 Jan. 2020

  
• Power set scan 法を用いた連結なホットスポット検出アルゴリズム

  川原 純; 湊 真一; 水田正弘; 石岡文生; 栗原考次

  基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」, 05 Nov. 2019

  
• 二分決定図を用いた部分弦グラフと部分区間グラフの列挙

  川原 純; 斎藤寿樹; 鈴木浩史; 吉仲 亮

  電子情報通信学会 コンピュテーション研究会, 02 Sep. 2019

  
• A Practical Solver for Combinatorial Reconfiguration Problems and Its Application to Power Distribution Networks

  Jun Kawahara

  3rd Workshop on Combinatorial Reconfiguration, affiliated with ICALP 2023, 10 Jul. 2023, Invited

  
• A ZDD-based solver for combinatorial reconfiguration problems

  Takehiro Ito; Jun Kawahara; Yu Nakahata; Takehide Soh; Akira Suzuki; Junichi Teruyama; Takahisa Toda

  4th Combinatorial Reconfiguration Workshop, 10 May 2022, Invited

  
• 二分決定グラフを用いたネットワーク信頼性計算の最近の動向

  川原 純

  電子情報通信学会 ネットワークシステム研究会, 10 Oct. 2019, Invited

  
• 二分決定グラフを用いたグラフ最適化

  川原 純

  平成30年電気関係学会関西連合大会, 01 Dec. 2018, Invited

  

Books and Other Publications

• シンギュラリティ: 限界突破を目指した最先端研究

  NAIST‐IS書籍出版委員, Joint work, 7.7節

  近代科学社, 03 Mar. 2016

  Find Kyoto University's collection of books :

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

  ERATO 湊離散構造処理系プロジェクト; 湊 真一, Joint work, 4章全てと5章の一部を執筆

  森北出版, 08 Apr. 2015

  Find Kyoto University's collection of books :

  

Awards

• 01 Jun. 2019

  Japanese Society of Computational Statistics, 論文賞

External funds: Kakenhi

• Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone

  Grant-in-Aid for Transformative Research Areas (B)

  Transformative Research Areas, Section (IV)

  Kyoto University

  川原 純

  From 02 Oct. 2020, To 31 Mar. 2023, Granted

  組合せ遷移;グラフアルゴリズム;SAT;モデル検査;ゼロサプレス型二分決定グラフ;配電切替;SATソルバー

  https://kaken.nii.ac.jp/grant/KAKENHI-PLANNED-20H05794/
• Fusion of Computer Science, Engineering and Mathematics Approaches for Expanding Combinatorial Reconfiguration

  Grant-in-Aid for Transformative Research Areas (B)

  Transformative Research Areas, Section (IV)

  Tohoku University

  伊藤 健洋

  From 02 Oct. 2020, To 31 Mar. 2023, Granted

  組合せ遷移

  https://kaken.nii.ac.jp/grant/KAKENHI-ORGANIZER-20H05792/
• Research on Integrated Techniques of Enumeration and Optimization Based on Discrete Structure Manipulation Systems

  Grant-in-Aid for Scientific Research (A)

  Medium-sized Section 61:Human informatics and related fields

  Kyoto University

  湊 真一

  From 01 Apr. 2020, To 31 Mar. 2025, Granted

  アルゴリズム;離散構造;演算処理系;列挙;索引化

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20H00605/
• Efficient generation algorithms for geometric graph classes

  Grant-in-Aid for Scientific Research (C)

  Basic Section 61030:Intelligent informatics-related

  Kyushu Institute of Technology

  齋藤 寿樹

  From 01 Apr. 2019, To 31 Mar. 2023, Granted

  アルゴリズム;辺削除問題;グラフクラス;列挙;グラフアルゴリズム;列挙アルゴリズム;グラフ;データ構造;ZDD

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19K12098/
• Informatics Study on Ultra-Scalable Blockchain Technology

  Grant-in-Aid for Scientific Research (A)

  Medium-sized Section 60:Information science, computer engineering, and related fields

  Nara Institute of Science and Technology

  笠原 正治

  From 01 Apr. 2019, To 31 Mar. 2023, Granted

  ブロック・チェーン;DSSトリレンマ;低遅延P2Pネットワーク;高速ブロック同期;IoTアクセス制御;低遅延P2Pネットワーキング

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19H01103/
• Solving graph optimization problems by compressing and storing solution space

  Grant-in-Aid for Scientific Research (C)

  Basic Section 25010:Social systems engineering-related

  Kyoto University;Nara Institute of Science and Technology

  Jun Kawahara

  From 01 Apr. 2018, To 31 Mar. 2021, Project Closed

  グラフアルゴリズム;データ構造;二分決定グラフ;区間グラフ;平面グラフ;ホットスポット検出;選挙区割;ネットワーク信頼性評価;グラフ最適化問題;組合せ最適化;列挙アルゴリズム;多目的最適化

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18K04610/
• Research on algorithms and data structures for solving theoretically hard problems in practical time

  Grant-in-Aid for Scientific Research (A)

  Medium-sized Section 60:Information science, computer engineering, and related fields

  Japan Advanced Institute of Science and Technology

  上原 隆平

  From 01 Apr. 2018, To 31 Mar. 2023, Granted

  高速アルゴリズム;組合せ遷移問題;グラフアルゴリズム;二部決定ダイアグラム;アルゴリズム;遷移問題;BDD;データ構造;離散構造;離散数学;計算量;列挙アルゴリズム

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18H04091/
• Approximate Computing to Cope with Imperfect Information from Growing Data Size

  Grant-in-Aid for Scientific Research (A)

  Kyoto University

  KAZUO IWAMA

  From 01 Apr. 2013, To 31 Mar. 2016, Project Closed

  アルゴリズム;計算困難問題;情報の補填;数理モデル化;理論的性能保証

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25240002/
• Automated Competitive Analysis and Computer-Aided Development Systems for Online Algorithms

  Grant-in-Aid for Young Scientists (B)

  Nara Institute of Science and Technology;Hokkaido University

  Jun KAWAHARA

  From 01 Apr. 2011, To 31 Mar. 2014, Project Closed

  オンラインアルゴリズム;競合比解析;自動解析;kフレーム転送量最大化;アルゴリズム;オンライン問題;ユニットクラスタリング;フレーム転送量最大化

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23700001/
• Studies on Algorithms for Insufficient Spatial Information

  Grant-in-Aid for Scientific Research (A)

  Kyoto University

  Kazuo IWAMA

  From 01 Apr. 2010, To 31 Mar. 2013, Project Closed

  アルゴリズム理論;グラフ問題;アルゴリズム的ゲーム理論;乱化計算;アルゴリズム;計算困難問題;情報の補填;数理モデル化;理論的性能保証;劣線形時間;乱化アルゴリズム;分散アルゴリズム;准線形時間

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22240001/
• Research on applications of combinatorial reconfiguration solvers

  Grant-in-Aid for Transformative Research Areas (A)

  Transformative Research Areas, Section (IV)

  Kyoto University

  川原 純

  From 01 Apr. 2023, To 31 Mar. 2025, Granted

  二分決定グラフ;組合せ遷移;グラフアルゴリズム;組合せ最適化;マッチング

  https://kaken.nii.ac.jp/grant/KAKENHI-PUBLICLY-23H04383/

Education

Teaching subject(s)

• From 01 Apr. 2023, To 31 Mar. 2024

  Computer Science Laboratory and Exercise 2

  9022, Fall, Faculty of Engineering, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Computer Science Laboratory and Exercise 1

  9138, Spring, Faculty of Engineering, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Mathematics in Practice for Computer Science

  9131, Spring, Faculty of Engineering, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Graph Theory

  9030, Fall, Faculty of Engineering, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Theory of Discrete Algorithms

  3627, Spring, Graduate School of Informatics, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Theory of Computational Complexity

  3614, Fall, Graduate School of Informatics, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Computer Science Laboratory and Exercise 4

  9039, Fall, Faculty of Engineering, 3
• From 01 Apr. 2023, To 31 Mar. 2024

  Computer Science Laboratory and Exercise 3

  9084, Spring, Faculty of Engineering, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Mathematics in Practice for Computer Science

  9131, Spring, Faculty of Engineering, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Computer Science Laboratory and Exercise 2

  9022, Fall, Faculty of Engineering, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Theory of Computational Complexity

  3614, Fall, Graduate School of Informatics, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Theory of Discrete Algorithms

  3627, Spring, Graduate School of Informatics, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Graph Theory

  9030, Fall, Faculty of Engineering, 2
• From Apr. 2019, To Mar. 2020

  Operating Systems

  Spring, 工学部
• From Apr. 2019, To Mar. 2020

  Mathematics in Practice for Computer Science

  Spring, 工学部
• From Apr. 2020, To Mar. 2021

  Reading and Writing Scientific English

  Spring, 工学部
• From Apr. 2020, To Mar. 2021

  Operating Systems

  Spring, 工学部
• From Apr. 2020, To Mar. 2021

  Computer Science Laboratory and Exercise 2

  Fall, 工学部
• From Apr. 2020, To Mar. 2021

  Mathematics in Practice for Computer Science

  Spring, 工学部
• From Apr. 2020, To Mar. 2021

  Theory of Discrete Algorithms

  Spring, 情報学研究科
• From Apr. 2021, To Mar. 2022

  Operating Systems

  Spring, 工学部
• From Apr. 2021, To Mar. 2022

  Computer Science Laboratory and Exercise 2

  Fall, 工学部
• From Apr. 2021, To Mar. 2022

  Computer Science Laboratory and Exercise 3

  Spring, 工学部
• From Apr. 2021, To Mar. 2022

  Mathematics in Practice for Computer Science

  Spring, 工学部
• From Apr. 2021, To Mar. 2022

  Theory of Discrete Algorithms

  Spring, 情報学研究科

Participation in PhD Defense

• Studies on Implicit Graph Enumeration Using Decision Diagrams

  NAKAHATA YU, Graduate School of Informatics, Sub-chief Examiner

  24 Sep. 2021

Administration

Faculty management (title, position)

• From 01 Apr. 2023, To 31 Mar. 2023

  計算機小委員会　委員
• From 01 Apr. 2023, To 2023

  情報セキュリティ作業委員会　委員
• From 01 Apr. 2022, To 31 Mar. 2024

  情報環境機構　研究システム運用委員会 委員
• From 01 Apr. 2022, To 31 Mar. 2023

  ハラスメント窓口相談員
• From 01 Apr. 2019, To 31 Mar. 2020

  情報セキュリティ委員会技術責任者
• From 01 Apr. 2019, To 31 Mar. 2023

  情報セキュリティ作業委員会委員
• From 01 Apr. 2019, To 31 Mar. 2023

  計算機小委員会委員