[English/Japanes]

日本大学 文理学部 情報システム解析学科

谷 聖一 研究業績リスト

論文

  1. Masao Hara, Masahiko Murakami, Seiichi Tani and Makoto Yamamoto:
    " Fast Algorithms for Computing Jones Polynomials of Montesinos Links", Scientiae Mathematicae Japonicae, Vol. 69, No. 1 (Whole No. 253), pp.1-26 (2009).
  2. Seiichi Tani and Etsuro Moriya:
    " Japanese Olympiad in Informatics", Olympiads in Informatics, Vol. 2, pp.163-170 (2008).
  3. Masahiko Murakami, Masao Hara, Makoto Yamamoto and Seiichi Tani:
    "Fast Algorithms for Computing Jones Polynomials of Certain Links", Theoretical Computer Science, 374 (2007) pp.1-24.
  4. Masao Hara, Seiichi Tani and Makoto Yamamoto:
    "Unknotting is in AM ∩ co-AM", in "Proceedings of the 16th ACM-SIAM Symposium on Discrete Algorithm", pp.359-365, SIAM, 2005.
  5. 原正雄・谷聖一・山本慎:
    "Arborescent 絡み目に対するジョーンズ多項式計算アルゴリズム", 情報技術レターズ Vol.1, pp.16-17 (2002).
  6. 名古屋孝幸・谷聖一・戸田誠之助:
    「グラフ同型写像の数え上げ問題に対するアルゴリズムについて」， 電子情報通信学会論文誌 Vol. J85-D-I, No.5 (2002) pp.424--435.
  7. Koichi Yamazaki, Sei'ichi Tani and Tetsuro Nishino:
    "A Characterization of k-th Powers Pnk of Paths in Terms of k-Trees", International Journal of Foundation on Computer Science, 12 (4) pp.435-444 (2001).
  8. Masao HARA, Sei'inchi TANI and Makoto YAMAMOTO:
    "Degrees of the Jones polynomials of certain pretzel links", Journal of Knot Theory and Its Ramifications, Vol. 9, No.7 (2000) pp.907--916.
  9. Yoshiyasu Ishigami and Sei'ichi Tani:
    "VC-dimensions of finite automata and commutative finite automata with k letters and n states", Discrete Applied Mathematics, (74) 2 (1997) pp. 123--134.
  10. Sei'ichi Tani and Koichi Yamazaki:
    "Learning of restricted RNLC Graph Languages", in "Lecture Notes in CS 1004: Algorithms and computation -- 6th international symposium; proceedings (J. Staples et. al Eds.)", Springer-Verlag (1995) pp.171--180.
  11. Seiichi Tani:
    "On the Role of Equivalence Queries in Learning via Queries", IEICE Transaction on Information and Systems, Vol. E75-D, No.4 (1992) pp.435--441.

講演記録

  1. 出口 直輝，千葉 正史，林 幸司，毛利 康秀，松重 充浩，谷 聖一:
    「戦前期ハルビン絵はがきWeb検索システムの試作」， 人文科学とコンピュータシンポジウム論文集 (情報処理学会シンポジウムシリーズ Vol.2009, No.16), pp.309-316.
  2. Suguru Yoshioka, Masumi Morii, Shintaro Matsushima and Seiichi Tani:
    " Spacio-Temporal Analysis Using the Web Archive System Based on Ajax" in "Lecture Notes in CS 5362: Digital Libraries -- Universal and Ubiquitous Access to Information", Springer-Verlag (2008) pp.317-320.
  3. 松嶋慎太郎，森井マスミ，吉岡卓，紅野謙介，谷 聖一:
    「Google Maps API を利用した時空間分析ツールの試作 −喜多村緑郎日記を対象として」， 情報処理学会 人文科学とコンピュータ 研究報告 No.77 (2008-CH-77)８， pp.1-8.
  4. 田中ゆかり，谷 聖一:
    「Kolmogorov 記述量に基づく類似度距離による方言自動分類の試行」， 人文科学とコンピュータシンポジウム論文集 (情報処理学会シンポジウムシリーズ Vol.2007, No.15), pp.171-176.
  5. 森井マスミ，吉岡卓，谷 聖一，紅野謙介:
    「喜多村緑郎文庫のデジタルアーカイブ化−多面的利用の可能性」， 人文科学とコンピュータシンポジウム論文集 (情報処理学会シンポジウムシリーズ Vol.2007, No.15), pp.319-326.
  6. S. Yoshioka, S. Tani, S. Toda, M. Morii, and K. Kohno:
    "Temporal Reasoning System for the Digital Theater Library", Proceedings of the IASTED Conference on Internet and Multimedia Systems and Applications -IMSA 2007- No.577, pp.165-171, (ISBN (CD): 978-0-88986-678-2).
  7. 村上 雅彦，原 正雄，山本 慎，谷 聖一:
    "A Fast Algorithm for Computing Jones Polynomials of Montesinos Links", 京都大学数理解析研究所講究録 1554 (2007), pp.153-160.
  8. 吉岡 卓，森井 マスミ，谷 聖一，紅野 謙介，戸田 誠之助:
    「演劇資料アーカイブに対する年代推論システム」， 人文科学とコンピュータシンポジウム論文集 (情報処理学会シンポジウムシリーズ Vol.2006, No.17), pp.109-116.
  9. 吉岡 卓，谷 聖一，戸田 誠之助:
    「新聞記事コーパスにおける自然災害の特性と時間関係の抽出」， 人文科学とコンピュータシンポジウム論文集 (情報処理学会シンポジウムシリーズ Vol.2006, No.17), pp.271-278.
  10. Suguru Yoshioka, Seiichi Tani and Seinosuke Toda:
    "Extraction of temporal relation by the creation of historical natural disaster archive", ISSN 1307-6884, Proceeding of World Academy of Science, Engineering and Technology, v.16 (2006), pp.332-337.
  11. Masahiko Murakami, Masao Hara, Makoto Yamamoto and Seiichi Tani:
    "Fast Algorithms for Computing Jones Polynomials of Certain Links", 京都大学数理解析研究所講究録 1375 (2004), pp.174-180.
  12. Masashi Matsuba and Seiichi Tani:
    "On Computational Complexity of the Conjugacy Problem for Braids", Technical Report of IEICE. COMP-2003-88 (2004-03), pp.17-23.
  13. 原 正雄，谷 聖一，山本 慎:
    「結び目の非自明性判定問題の計算量について」, 京都大学数理解析研究所講究録 1325 (2003), pp.227-232.
  14. 本橋 友江，谷 聖一，土田 賢省，夜久 竹夫:
    "Algorithms for Table Transformation", 京都大学数理解析研究所講究録 1325 (2003), pp.152-157.
  15. 原 正雄，谷 聖一，山本 慎:
    「結び目の非自明性判定問題に対する対話型証明系について」, 信学技法 Vol. 102 No.593 (2003), pp.67-72.
  16. 田邉 利崇，原 正雄，山本 慎，谷 聖一:
    「ブレイド群における共役問題の計算量について」, 信学技法 COMP2001-84 (2002), pp.9-16.
  17. 鈴木量三朗・谷聖一:
    「Javaによる組み込みシステム向けの開発環境:Kaffe/eCos」， オブジェクト指向最前線2001（大西淳・大須賀昭彦 編）， 近代科学社 (2001) pp.151--155.
  18. 原 正雄，谷 聖一，山本 慎:
    「絡み目のJones多項式の最高次数の計算について」, 信学技法 Vol.99 No.288 (1999), pp.23-28.
  19. 原 正雄，谷 聖一，山本 慎:
    「絡み目の Jones 多項式の計算」, 京都大学数理解析研究所講究録 1093 (1999), pp.51-56.
  20. 名古屋孝幸，谷聖一，戸田誠之助:
    「グラフ同型写像の数え上げ問題に対するアルゴリズム」, 信学技法 Vol.98 No.186 (1998), pp.25-34.
  21. Koichi Yamazaki, Sei'ichi Tani and Tetsuro Nishino:
    "A Characterization of k-th Powers Pnk of Paths in Terms of k-Trees", Technical Report of IEICE COMP96-34 (1996), pp.11-20.
  22. 谷 聖一，山崎 浩一，西野 哲朗:
    "On Tractable Slices of Some NP-Complete Functions", 京都大学数理解析研究所講究録 950 (1996), pp.8-14.
  23. Sei'ichi Tani and Koichi Yamazaki:
    "On Learning an NLC Like Graph Grammar", Technical Report of IEICE COMP-95-07 (1995), pp.7-14.
  24. 谷 聖一，石上 嘉康:
    "Vapnik-Chervonenkis dimensions of finite automata with n states", 京都大学数理解析研究所講究録 876 (1994), pp.69-82.
  25. Yoshiyasu Ishigami and Sei'ichi Tani:
    "The VC-dimensions of Finite Automata with n States", in "Lecture Notes in AI 744 : Proceedings of the 4th Workshop on Algorithmic Learning Theory (K.P.Jantke et.al Eds.)," Springer-Verlag (1993) pp.328--341.
  26. Sei'ichi Tani:
    "On the Complexity of Query Learning", 人工知能学会研究会(人工知能基礎論)資料 SIG-FAI-9202-1 (1992), pp.1-7.
  27. Seiichi Tani:
    "On the Role of Equivalence Queries in MAT Learning", in "Proceedings of the Second Workshop on Algorithmic Learning Theory (S.Arikawa et.al Eds.)," Ohmsha Ltd. (1991) pp.115--125.
  28. Seiichi Tani:
    "On the role of equivalence queries in learning via queries", 京都大学数理解析研究所講究録 754 (1991), pp.25-34.

研究発表

  1. O(n2) time algorithms for computing Jones polynomials of certain links, 研究集会「結び目の数学 II」, 早稲田大学， 2009年12月 (共同発表者 原 正雄，村上 雅彦，山本 慎)．
  2. 戦前期ハルビン絵はがきWeb検索システムの試作， 人文科学とコンピュータシンポジウム じんもんこん2009， 立命館大学 びわこ・くさつキャンパス， 2009年12月 (共同発表者 出口 直輝，千葉 正史，林 幸司，毛利 康秀，松重 充浩)．
  3. Spacio-temporal analysis using the Web archive system based on Ajax, the 11th International Conference on Asia-Pacific Digital Libraries (ICADL 2008), Bali, INDONESIA, December 2008 (with Suguru Yoshioka, Masumi Morii, ShintaroMatsushima).
  4. Polynomial time algorithms for computing Jones polynomials of certain links, 第20回位相幾何学的グラフ理論研究集会 (TGT20), 横浜国立大学, 2008年11月 (with Masao Hara, Masahiko Murakami, Makoto Yamamoto).
  5. Japanese Olympiad in Informatics, the second OLYMPIADS IN INFORMATICS conference, Cairo, Egypt, August 2008 (with, E. Moriya).
  6. Google Maps API を利用した時空間分析ツールの試作 −喜多村緑郎日記を対象として， 情報処理学会・人文科学とコンピュータ研究会 第77回研究会発表会， 東洋大学， 2008年1月（共同発表者 松嶋慎太郎，森井マスミ，吉岡卓，紅野謙介）．
  7. Kolmogorov 記述量に基づく類似度距離による方言自動分類の試行， 人文科学とコンピュータシンポジウム じんもんこん2007， 京大会館， 2007年12月（共同発表者 田中ゆかり）．
  8. 喜多村緑郎文庫のデジタルアーカイブ化−多面的利用の可能性， 人文科学とコンピュータシンポジウム じんもんこん2007， 京大会館， 2007年12月（共同発表者 森井マスミ，吉岡卓、紅野謙介）．
  9. Kolmogorov 記述量に基づく類似度距離を用いた方言自動分類の試み， 計量国語学会第51回大会，日本大学，2007年9月 (共同発表者 田中ゆかり)
  10. Temporal Reasoning System for the Digital Theatre Library, the 11th IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2007), Honolulu, Hawaii, USA, August 2007 (with S. Yoshikoa, S. Toda, M. Morii, K. Kohno).
  11. A Fast Algorithm for Computing Jones Polynomials of Montesinos Links, 10th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2007), Gwangju, Korea, August 2007 (with Masao Hara, Masahiko Murakami, Makoto Yamamoto).
  12. Montesinos 絡み目の Jones 多項式を計算するアルゴリズムについて， 京都大学数理解析研究所 研究集会 「計算機科学の理論とその応用」， 京都大学， 2007年 1月 (共同発表者 村上 雅彦，原 正雄，山本 慎).
  13. 演劇資料アーカイブに対する年代推論システム， 人文科学とコンピュータシンポジウム じんもんこん2006， 同志社大学， 2006年12月（共同発表者 吉岡 卓，森井マスミ，紅野 謙介，戸田 誠之助）．
  14. 新聞記事コーパスにおける自然災害の特性と時間関係の抽出， 人文科学とコンピュータシンポジウム じんもんこん2006（ポスターセッション）， 同志社大学， 2006年12月（共同発表者 吉岡 卓，戸田 誠之助）．
  15. Extraction of temporal relation by the creation of historical natural disaster archive, XVI. International Conference on Computer and Information Science and Engineering, Venice, Italy, November 2006 (wiht S. Yoshioka, S. Toda).
  16. Fast Algorithms for Computing Jones polynomials of Certain Links, 4th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications, Budapest, Hungary, June 2005 (with M. Murakami, M. Hara and M. Yamamoto).
  17. UNKNOTTING is in AM ∩ co-AM, the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 05), Vancouver, British Columbia, Canada, January 2005 (with M. Hara and M. Yamamoto).
  18. On Computational Complexity of UNKNOTTING, 研究集会「半順序集合とアルゴリズム」， 東海大学短期大学部高輪キャンパス 2004年8月 (共同発表者 原 正雄，山本 慎).
  19. Fast Algorithms for Computing Jones Polynomials of 2-bridge links, 研究集会「半順序集合とアルゴリズム」， 東海大学短期大学部高輪キャンパス 2004年8月 (共同発表者 村上 雅彦，原 正雄，山本 慎).
  20. ブレイド群における共役問題の計算量について， 電子情報通信学会コンピュテーション研究会， 名古屋工業大学， 2004年 3月（共同発表者 松葉 正志）．
  21. ある種の絡み目のJones多項式を計算するアルゴリズムについて， 京都大学数理解析研究所 研究集会 「計算機科学基礎理論の新展開」， 京都大学， 2004年 2月 (共同発表者 村上 雅彦，原 正雄，山本 慎).
  22. Fast Algorithm of Computing the Jones Polynomials of Certain Links, WORKSHOP "TOPOLOGY OF KNOTS VI" Nihon Univ., December 2003 (with Masao Hara, Masahiko Murakami and Makoto Yamamoto).
  23. 閉3組み紐絡み目のジョーンズ多項式を計算する線形時間アルゴリズム， 第2回情報科学技術フォーラム， 札幌学院大学， 2003年 9月 (共同発表者 村上 雅彦，原 正雄，山本 慎).
  24. 絡み目多項式の係数の計算量， 第2回情報科学技術フォーラム， 札幌学院大学， 2003年 9月 (共同発表者 原 正雄，山本 慎).
  25. 結び目の非自明性判定問題の計算量について， 京都大学数理解析研究所 研究集会 「計算機科学基礎理論の新展開」， 京都大学， 2003年 2月 (共同発表者 原 正雄、山本 慎).
  26. 表編集のアルゴリズム， 京都大学数理解析研究所 研究集会 「計算機科学基礎理論の新展開」， 京都大学， 2003年 2月 (共同発表者 本橋 友江，土田 賢省，夜久 竹夫）
  27. 結び目の非自明性判定問題に対する対話型証明系について， 電子情報通信学会コンピュテーション研究会， 琉球大学， 2003年 1月（共同発表者 原 正雄，山本 慎）．
  28. 結び目の非自明性判定アルゴリズムについて， 研究集会「結び目のトポロジーV」， 早稲田大学 2002年 12月(共同発表者 原 正雄、山本 慎).
  29. Arborescent 絡み目に対するジョーンズ多項式計算アルゴリズム， 第1回情報科学技術フォーラム， 東工大， 2002年 9月(共同発表者 中川 仁，原 正雄，山本 慎).
  30. band generator を用いたブレイドの標準型を構成するアルゴリズム， 第1回情報科学技術フォーラム， 東工大， 2002年 9月(共同発表者 田邉利崇，原 正雄，山本 慎).
  31. クリーク発見問題に対する量子アルゴリズム， 第1回情報科学技術フォーラム， 東工大， 2002年 9月(共同発表者 中川 仁，原 正雄，山本 慎).
  32. 交代絡み目図式の同値性判定問題について， 夏のLAシンポジウム， ウェルサンピア千葉， 2002年7月 (共同発表者 原 正雄，山本 慎).
  33. Arborecent link の Jones 多項式の計算量， 日本数学会2002年度年会トポロジー分科会， 明治大学， 2002年 3月 (共同発表者 原 正雄，山本 慎).
  34. ブレイド群における共役問題の計算量について， 電子情報通信学会コンピュテーション研究会， 日本大学， 2002年 3月（共同発表者 田邉 利崇，原 正雄，山本 慎）．
  35. Arborecent link の Jones 多項式の計算アルゴリズムについて， 2001年度冬のLAシンポジウム， 京大会館， 2002年 2月 (共同発表者 原 正雄，山本 慎).
  36. Jones polynomial の計算量 --総論--， 研究集会「結び目理論の現在・過去・未来」 早稲田大学， 2001年 10月 (共同発表者 原 正雄、山本 慎).
  37. Jones polynomial の計算量 --各論--， 研究集会「結び目理論の現在・過去・未来」 早稲田大学， 2001年 10月 (共同発表者 原 正雄、山本 慎).
  38. Javaによる組み込みシステム向けの開発環境:Kaffe/eCos， オブジェクト指向2001シンポジウム（情報処理学会ソフトウェア研究会）， 法政大学， 2001年 8月 (共同発表者 鈴木 量三朗)．
  39. A polynomial time algorithm for calculating the highest degrees of the Kauffman bracket polynomials of certain pretzel links, アルゴリズム工学成果報告研究集会， 中央大学市ヶ谷キャンパス 2001年 3月 (共同発表者 原 正雄、山本 慎).
  40. Non-adequate pretzel link の Jones 多項式の最高次数， 日本数学会秋期総合分科会トポロジー分科会， 京都大学， 2000年 9月 (共同発表者 原 正雄、山本 慎).
  41. Non-adequate pretzel link の Jones 多項式の最高次数について， 研究集会「結び目のトポロジーII」， 東京女子大学 1999年 12月(共同発表者 原 正雄、山本 慎).
  42. 絡み目の Jones 多項式の最高次数の計算について， 電子情報通信学会コンピュテーション研究会， 北海道大学， 1999年 9月 (共同発表者 原 正雄、山本 慎).
  43. 絡み目の Jones 多項式の計算について， 京都大学数理解析研究所 研究集会 「離散問題の計算量解析」， 1999年 6月 (共同発表者 原 正雄、山本 慎).
  44. 絡み目の Jones 多項式の計算のアルゴリズムについて， 日本数学会年会トポロジー分科会， 1999年 3月 (共同発表者 原 正雄、山本 慎).
  45. 絡み目の Jones 多項式の計算, 京都大学数理解析研究所 研究集会「計算モデルとアルゴリズム」， 1999年 2月 (共同発表者 原 正雄、山本 慎).
  46. グラフ同型写像の数え上げ問題に対するアルゴリズム， '98夏のLAシンポジウム， 広島県 休暇村 大久野島， 1998年 7月 (共同発表者 名古屋孝幸、戸田誠之助).
  47. グラフ同型写像の数え上げ問題に対するアルゴリズム， 電子情報通信学会コンピュテーション研究会， 茨城大学， 1998年 7月 (共同発表者 名古屋孝幸、戸田誠之助).
  48. k-ツリーを用いた Pnk の新しい特徴付け， 電子情報通信学会コンピュテーション研究会， 東北大学， 1996年 10月 (共同発表者 山崎 浩一、西野 哲朗).
  49. On Tractable Slices of Some NP-Complete Functions， 京都大学数理解析研究所共同研究集会 「計算モデルと計算の複雑さに関する研究」， 京都大学， 1996年 1月 (共同発表者 山崎 浩一、西野 哲朗).
  50. Pnk の k-tree による特徴付け， 応用数学合同研究会， 龍谷大学， 1995年 12月 (共同発表者 山崎 浩一、西野 哲朗).
  51. Learning of restricted RNLC Graph Languages, 6th International Symposium, ISAAC '95, Cairns, Australia, December 1995 (with K. Yamazaki).
  52. On Learning an NLC Like Graph Grammar, 電子情報通信学会コンピュテーション研究会， 電気通信大学， 1995年 7月 (共同発表者 山崎 浩一).
  53. Learning of Graph Languages, 京都大学数理解析研究所共同研究集会 「計算量理論の諸相 -- その基礎的研究」， 京都大学， 1995年 6月.
  54. Learning of Restricted RNLC Graph Grammars, グラフ書き換え系とその応用研究集会， 京都堀川会館， 1995年 2月 (共同発表者 K. Yamazaki).
  55. Asymptotic Results of Finite Automata with n States and k Alphabets and k-dimensional Young Tableaux of Order n, 応用数学合同研究会「組合せ論の総合研究」， 京都大学， 1993年 12月 (共同発表者 石上 嘉康).
  56. The VC-dimensions of Finite Automata with n States, the Forth Workshop on Algorithmic Learning Theory, Tokyo, November 1993 (with Y. Ishigami).
  57. On the Query Complexity and Vapnik-Chervonenkis dimension, 計算量をめぐる基礎的研究 研究集会 (京都大学数理解析研究所研究集会), 京都大学, 1993年 6月.
  58. On the Complexity of Query Learning, 15回人工知能学会人工知能基礎論研究会， 北陸先端科学技術大学院大学， 1993年 2月.
  59. On the Role of Equivalence Queries in MAT Learning, the Second Workshop on Algorithmic Learning Theory, Tokyo, October 1991.
  60. On the role of eqiuvalence queries in learning via queries, 京都大学数理解析研究所共同研究集会 「計算および計算量理論とその周辺研究」， 京都大学， 1991年 2月.
home