田岡 智志Satoshi Taoka

Last Updated :2017/11/01

所属・職名
大学院工学研究科 サイバネティクス応用講座 助教
メールアドレス
satoshihiroshima-u.ac.jp

基本情報

学位

  • 博士(工学) (広島大学)
  • 修士(工学) (広島大学)

研究分野

  • 情報学 / 情報学基礎 / 情報学基礎理論

教育活動

授業担当

  1. 2017年, 学部専門, セメスター(後期), プログラミング演習I
  2. 2017年, 学部専門, セメスター(後期), 情報工学演習I
  3. 2017年, 学部専門, セメスター(前期), プログラミング演習II
  4. 2017年, 学部専門, セメスター(前期), プログラミング序説

研究活動

学術論文(★は代表的な論文)

  1. Performance comparison of algorithms for the dynamic shortest path problem, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E90A巻, 4号, pp.847-pp.856, APR 2007
  2. Enhancing PC cluster-based parallel branch-and-bound algorithms for the graph coloring problem, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A巻, 4号, pp.1140-pp.1149, APR 2008
  3. Enhanced approximation algorithms for maximum weight matchings of graphs, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A巻, 4号, pp.1129-pp.1139, APR 2008
  4. Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E92A巻, 11号, pp.2707-pp.2716, NOV 2009
  5. Two Enhanced Heuristic Algorithms for the Minimum Initial Marking Problem of Petri Nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E92A巻, 11号, pp.2732-pp.2744, NOV 2009
  6. The Marking Construction Problem of Petri Nets and Its Heuristic Algorithms, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E94A巻, 9号, pp.1833-pp.1841, SEP 2011
  7. Experimental evaluation of two algorithms for computing Petri net invariants, IEICE Trans. Fundamentals, Vol. E84-A巻, No. 11号, 20011101
  8. Two efficient methods for computing petri net invariants, Proceedings of the 2006 IEEE International Conference on Systems= Man= and Cybernetics= Taipei, pp.pp. 2717 - 2722, 20011001
  9. Extracting a Planar Spanning Subgraph of a Terminal-Vertex Graph by Solving the Independent Set Problem, Proceedings of the 2004 IEEE International Midwest Symposium on Circuits and Systems, pp.pp. V-153 - V-156, 20010501
  10. A Heuristic Algorithm FMDB for the Minimum Initial Marking Problem of Petri Nets, IEICE Trans. Fundamentals, Vol. E84-A巻, No. 3号, pp.pp. 771 - 780, 20010301
  11. A New Heuristic Method for Solving the Minimum Initial Marking Problem of Petri Nets, Proceedings of the 2006 IEEE International Conference on Systems= Man= and Cybernetics= Taipei, pp.pp. 3218 - 3223, 20001001
  12. The (σ +1)-Edge-Connectivity Augmentation Problem without Creating Multiple Edges of a Graph, Lecture Notes in Computer Science 1872= Theoretical Computer Science= Springer-Verlag= Berlin, pp.pp. 169 - 185, 20000801
  13. k-Edge-Connectivity Augmentation Problem with Upper Bounds on Edge Multiplicity, IEEE International Symposium on Circuit and Systems(ISCAS’99), pp.pp. IV-601 - IV-604, 20000501
  14. On the Legal Firing Sequence Problem of Petri Nets with Cactus Structure, IEICE Trans. Fundamentals, Vol. E83-A巻, No. 3号, pp.pp. 480 - 486, 20000301
  15. A Linear Time Algorithm Solving the Legal Firing Sequence Problem for a Class of Edge-Weighted Cactuses, Proc. 1997 IEEE International Conference on Systems= Man and Cybernetics(SMC), pp.pp. III-893 - III-898, 19991001
  16. A Fast and Space-Saving Algorithm for Computing Invariants of Petri Nets, Proc. 1999 IEEE International Conference on Systems= Man and Cybernetics (SMC 99), pp.pp. I-866-I-871, 19991001
  17. Minimum Augmentation to k-Edge-Connect Specified Vertices of a Graph, Lecture Notes in Computer Science 834 ((D-Z Du and X-S Zhang (Eds.)) Algorithms and Computation)= Springer-Verlag= Berlin, pp.pp. 217 - 225, 19940801
  18. Minimum-cost augmentation to 3-edge-connect all specified vertices in a graph, Proc. 1993 IEEE International Symposium on Circuits and Systems, pp.pp. 2311 - 2314, 19930501
  19. Approximation algorithms for minimum-cost augmentation to k-edge-connect a multigraph, Proc. 1993 IEEE International Symposium on Circuits and Systems, pp.pp. 2556 - 2559, 19930501
  20. The k-Edge-Connectivity Augmentation Problem of Weighted Graphs, Lecture Notes in Computer Science 650= Algorithms and Computation (T.Ibaraki= Y.Inagaki= K.Iwama= T.Nishizeki and M.Yamashita (Eds.))= Springer-Verlag= Berlin, pp.pp. 31 - 40, 19921201
  21. Heuristic Algorithm FMDB for the Minimum Initial Marking Problem of Petri Nets, IEICE Trans. Fundamentals, E84-A巻, 3号, pp.771-pp.780, 20010301
  22. Experimental evaluation of two algorithms for computing Petri net invariants, IEICE Trans. Fundamentals, E84-A巻, 11号, pp.2871-pp.2880, 20011101
  23. Extracting Minimal Siphon-traps of Petri Nets and its Application to Computing Nonnegative Integer-Invariants, IEICE Trans. Fundamentals, E85-A巻, 11号, pp.2436-pp.2446, 20021101
  24. A 2-Approximation Algorithm 2-ABIS for 2-Vertex-Connectivity Augmentation of Specified Vertices in a Graph, IEICE Trans. Fundamentals, E86-A巻, 4号, pp.822-pp.828, 20030401
  25. Performance Comparison of Algorithms for the Dynamic Shortest Path Problem, IEICE Trans. Fundamentals, E90-A巻, 4号, pp.PP. 847-856, 20070401
  26. On the legal firing sequence problem of Petri nets with cactus structure, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E83A巻, 3号, pp.480-pp.486, MAR 2000
  27. A heuristic algorithm FMDB for the minimum initial marking problem of Petri nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E84A巻, 3号, pp.771-pp.780, MAR 2001
  28. Experimental evaluation of two algorithms for computing Petri net invariants, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E84A巻, 11号, pp.2871-pp.2880, NOV 2001
  29. Extracting minimal siphon-traps of Petri nets and its application to computing nonnegative integer-invariants, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E85A巻, 11号, pp.2436-pp.2446, NOV 2002
  30. Bi-connectivity augmentation for specified vertices of a graph with upper bounds on vertex-degree increase, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E89D巻, 2号, pp.751-pp.762, FEB 2006
  31. A linear time algorithm for bi-connectivity augmentation of graphs with upper bounds on vertex-degree increase, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A巻, 4号, pp.954-pp.963, APR 2005
  32. Siphon-trap-based algorithms for efficiently computing Petri net invariants, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A巻, 4号, pp.964-pp.971, APR 2005
  33. A 2-approximation algorithm to (k+1)-edge-connect a specified set of vertices in a k-edge-connected graph, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A巻, 5号, pp.1290-pp.1300, MAY 2005
  34. Improved heuristic algorithms for minimizing initial markings of Petri nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A巻, 11号, pp.3051-pp.3061, NOV 2005
  35. On minimum k-edge-connectivity augmentation for specified vertices of a graph with upper bounds on vertex-degree, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E89A巻, 4号, pp.1042-pp.1048, APR 2006
  36. Experimental evaluation of maximum-supply partitioning algorithms for demand-supply graphs, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E89A巻, 4号, pp.1049-pp.1057, APR 2006
  37. Time complexity analysis of the legal firing sequence problem of Petri nets with inhibitor arcs, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E89A巻, 11号, pp.3216-pp.3226, NOV 2006
  38. A Fast Algorithm for Augmenting Edge-Connectivity by One with Bipartition Constraints, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D巻, 3号, pp.769-pp.777, MAR 2012
  39. Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E96A巻, 2号, pp.540-pp.553, FEB 2013
  40. Computing-Based Performance Analysis of Approximation Algorithms for the Minimum Weight Vertex Cover Problem of Graphs, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E96A巻, 6号, pp.1331-pp.1339, JUN 2013
  41. Web システムによる学生授業評価アンケートの実施方法とその検証, 電子情報通信学会論文誌D, Vol. J97-D巻, No. 5号, pp.1024-pp.1034, 2014/05/01