1. |
「小学生を対象とした少人数制オンラインScratchプログラミングにおける学習 要因の調査と提案」
釘本蓮,岩見宗弘
情報処理学会第86回全国大会講演論文集
全:2頁
4_955-4_956頁
研究会,シンポジウム資料等
2024年
3月
|
2. |
「木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証」
岩見 宗弘,中野圭介
第26回プログラミングおよびプログラミング言語ワークショップ発表予稿集
全:15頁
1-15頁
研究会,シンポジウム資料等
2024年
3月
|
3. |
「いくつかの組合せ子の非停止性」
岩見宗弘
日本ソフトウェア科学会 第40回大会講演論文集
vol.:51-R
全:6頁
1-6頁
研究会,シンポジウム資料等
2023年
9月
|
4. |
「等式の両辺の単位が等しいかチェックするプログラムの実装」
奥原智史,岩見宗弘
情報処理学会第85回全国大会講演論文集
vol.:1B-03
全:2頁
1_185-1_186頁
研究会,シンポジウム資料等
2023年
3月
|
5. |
「様々な組合せ子のω-強頭部正規化可能性の反証」
岩見宗弘
第143回情報処理学会プログラミング研究会発表資料
vol.:2022-5-(9)
全:15頁
1-15頁
研究会,シンポジウム資料等
2023年
3月
|
6. |
「様々な組合せ子の非ω-強頭部正規化可能性・非基礎ループ性・非循環性」
岩見 宗弘
情報処理学会論文誌プログラミング
vol.:16
No.:3
全:14頁
14-27頁
学術雑誌
2023年
8月
|
7. |
「正則項の木変換器による書き換え」
岩見宗弘
日本ソフトウェア科学会 第39回大会講演論文集
vol.:PPL(1), 2-L
全:9頁
1-9頁
研究会,シンポジウム資料等
2022年
8月
|
8. |
「Commutative Rational Term Rewriting」
M. Ishizuka, T. Aoto and M. Iwami
Lecture Notes in Computer Science
vol.:12638
全:13頁
200-212頁
2021年
3月
|
9. |
「交換律による正則項書き換えにおける有限オートマトンの構成法とその応用」
石塚 守, 青戸 等人, 岩見 宗弘
第22回プログラミングおよびプログラミング言語ワークショップ発表予稿集
全:12頁
1-12頁
その他
2020年
3月
|
10. |
「パズルを題材にしたJavaプログラミング教育の提案と実践」
奈良井淳,岩見宗弘
令和元年度(第70回)電気・情報関連学会中国支部連合大会論文集
全:1頁
その他
2019年
10月
|
11. |
「一意半単一化と正則単一化の比較」
岩見 宗弘
京都大学数理解析研究所講究録
vol.:2130
全:5頁
80-84頁
大学・研究所等紀要
2019年
10月
|
12. |
「正則項上の単一化について」
岩見 宗弘
コンピュータソフトウェア
vol.:35
No.:4
全:13頁
151-163頁
学術雑誌
2018年
11月
|
13. |
「正則項上の可換な単一化について」
岩見 宗弘
日本ソフトウェア科学会第34回大会論文集
vol.:PPL-4-3
全:10頁
1-10頁
学術雑誌
2017年
9月
|
14. |
「正則項上の単一化について」
岩見 宗弘
京都大学数理解析研究所講究録
vol.:2051
全:10頁
106-115頁
大学・研究所等紀要
2017年
10月
|
15. |
「単一化閉包に基づく単一化について」
岩見 宗弘
日本ソフトウェア科学会 第33回大会論文集
全:6頁
1--6頁
学術雑誌
2016年
9月
|
16. |
「Uniform Semi-Unification and Anchored Semi-Unification」
M. Iwami
Informal Proc. of 29th International Workshop on Unification
全:5頁
25-29頁
2015年
6月
|
17. |
「一意半単一化問題とアンカー付き半単一化問題の比較」
岩見 宗弘
京都大学数理解析研究所講究録
vol.:1964
全:5頁
167-171頁
大学・研究所等紀要
2015年
2月
|
18. |
「半単一化問題の比較について」
岩見 宗弘
日本ソフトウェア科学会第32回大会論文集
全:6頁
1-6頁
学術雑誌
2015年
9月
|
19. |
「Uniform Semi-Unification」
T. Aoto and M. Iwami
京都大学数理解析研究所講究録
vol.:1915
全:5頁
161-165頁
大学・研究所等紀要
2014年
9月
|
20. |
「Termination of Rule-Based Calculi for Uniform Semi-Unification」
Takahito Aoto and Munehiro Iwami
Proc. of 7th International Conference on Language and Automata Theory and Applications, Lecture Notes in Computer Science, 7810, Springer-Verlag
vol.:7810
全:12頁
56-67頁
学術雑誌
2013年
4月
ISSN:03029743
|
21. |
「Termination of Rule-Based Calculi for Uniform Semi-Unification」
T. Aoto and M. Iwami
Proc. 7th International Conference on Language and Automata Theory and Applications, LATA 2013, Bilbao, Spain, LNCS 7810, Springer-Verlag
vol.:7810
全:12頁
56-67頁
2013年
4月
|
22. |
「Androidによるスマートフォン向け星座観測アプリの実装」
田中 陽子,岩見 宗弘
第63回電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)
全:1頁
424-424頁
学術雑誌
2012年
10月
|
23. |
「無限項書き換えシステムにおける強頭部正規化可能性および一般生成性の自動反証」
岩見 宗弘, 青戸 等人
コンピュータソフトウェア
vol.:29
No.:1
全:29頁
211-239頁
学術雑誌
2012年
1月
|
24. |
「関数型言語によるPodcast ダウンローダの実装について」
田中 陽子,岩見 宗弘
第62回電気・情報関連学会中国支部連合大会講演論文集
全:2頁
34-35頁
学術雑誌
2011年
10月
|
25. |
「無限項書き換えシステムにおける性質に関する考察」
岩見 宗弘,青戸等人
京都大学数理解析研究所講究録
No.:1769
全:5頁
153-157頁
大学・研究所等紀要
2011年
10月
|
26. |
「左線形かつK-開発閉包な項書換えシステムの合流性に関する考察」
岩見宗弘
数理解析研究所講究録
vol.:1712
全:180頁
156-161頁
大学・研究所等紀要
2010年
9月
ISSN:18802818
|
27. |
「無限項書換えシステムにおける強頭部正規化可能性の反証手続き」
岩見宗弘, 青戸等人
第12回プログラミングおよびプログラミング言語ワークショップ 論文集
261-273頁
学術雑誌
2010年
3月
|
28. |
「組合せ子の強収束性」
岩見宗弘
第8回情報科学技術フォーラム講演論文集
251-258頁
学術雑誌
2009年
9月
|
29. |
「組合せ子の非循環性と関連する性質について」
岩見宗弘
情報処理学会論文誌 プログラミング
vol.:2
No.:2
97-104頁
学術雑誌
2009年
3月
|
30. |
「組合せ子の非循環性と関連する性質について」
岩見 宗弘
日本ソフトウェア科学会 第25回大会論文集
全:8頁
1-8頁
学術雑誌
2008年
9月
|
31. |
「左線形かつK-開発閉包な項書換えシステムの合流性」
岩見 宗弘
電子情報通信学会論文誌
vol.:J90-D
No.:10
2932-2935頁
学術雑誌
2007年
10月
|
32. |
「組合せ子 Lの非循環性」
岩見 宗弘
情報科学技術レターズ
vol.:6
全:2頁
25-26頁
学術雑誌
2007年
9月
|
33. |
「An improved recursive decomposition ordering for term rewriting systems revisited」
Munehiro Iwami
Advances in Logic Based Intelligent Systems, Frontiers in Artificial Intelligence and its Applications (Proc. of 5th Congress on Logic Applied to Technology, University of Hyogo, Japan), IOS Press
vol.:132
18-25頁
その他
2005年
|
34. |
「Persistence of semi-completeness for term rewriting systems」
Munehiro Iwami
International Journal of Information Technology
vol.:1
No.:2
62-65頁
その他
2004年
|
35. |
「Persistence of termination for locally conflunet overlay term rewriting systems」
Munehiro Iwami
International Journal of Information Technology
vol.:1
No.:3
118-122頁
その他
2004年
|
36. |
「Persistence of termination for non-overlapping term rewriting systems」
Munehiro Iwami
International Journal of Information Technology
vol.:1
No.:2
75-78頁
その他
2004年
|
37. |
「Persistence of termination for right-linear overlay term rewriting systems」
Munehiro Iwami
International Journal of Information Technology
vol.:1
No.:4
178-182頁
その他
2004年
|
38. |
「Persistence of termination for term rewriting systems with ordered sorts」
Munehiro Iwami
International Journal of Information Technology
vol.:1
No.:2
94-98頁
その他
2004年
|
1. |
「Non-Termination of Some Combinators」
Munehiro Iwami
59th TRS Meeting
2023年
|
2. |
「Non-omega-Strong Head Normalization, Non-Ground Loop and Acyclic of Several Combinators」
Munehiro Iwami
59th TRS Meeting
2023年
|
3. |
「Rewriting of Rational Terms by Tree Transducer Revisited」
Munehiro Iwami
58th TRS Meeting
2023年
|
4. |
「Rewriting of Rational Terms by Tree Transducer Revisited II」
Munehiro Iwami
59th TRS Meeting
2023年
|
5. |
「様々な組合せ子の$\omega$-強頭部正規化可能性の反証」
岩見 宗弘
第25回プログラミングおよびプログラミング言語ワークショップ
2023年
|
6. |
「Flat Rational Term Rewriting Revisited」
M. Iwami
56th TRS Meeting
2022年
|
7. |
「Rewriting of Rational Terms by Tree Transducer」
Munehiro Iwami
57th TRS Meeting
2022年
|
8. |
「Flat Rational Term Rewriting」
M. Iwami
55th TRS Meeting
2021年
|
9. |
「M. Iwami」
Commutative Rational Term Rewriting Revisited
54th TRS Meeting
2021年
|
10. |
「M. Iwami」
Comparison of Uniform Semi-Unification and Rational Unification Revisited II
52nd TRS Meeting
2020年
|
11. |
「M. Iwami」
Commutative Rational Term Rewriting
53rd TRS Meeting
2020年
|
12. |
「Comparison of Uniform Semi-Unification and Rational Unification Revisited」
M. Iwami
51st TRS Meeting
2019年
|
13. |
「Comparison of Uniform Semi-Unification and Rational Unification」
M. Iwami
50th TRS Meeting
2019年
|
14. |
「一意半単一化と正則単一化の比較」
岩見 宗弘
日本ソフトウェア科学会第36回大会
2019年
|
15. |
「Rational Unification modulo Rewrite System」
M. Iwami
49th TRS Meeting
2018年
|
16. |
「Syntactic Unification over Rational Terms」
Munehiro Iwami
代数系、論理、言語とその周辺領域
2018年
|
17. |
「Syntactic Unification over Rational Terms Revisited」
M. Iwami
International Workshop DLT's Satellite Workshop in Kyoto
2018年
|
18. |
「Syntactic Unification over Rational Terms Revisited」
Munehiro Iwami
48th TRS Meeting
2018年
|
19. |
「正則項における単一化 : 再考」
岩見 宗弘
日本ソフトウェア科学会第35回大会
2018年
|
20. |
「Commutative Unification for Rational Terms」
Munehiro Iwami
47th TRS Meeting
2017年
|
21. |
「Basic Results of Unification Closure and Unification」
M. Iwami
44th TRS meeting
2016年
|
22. |
「On the unification of rational terms」
M. Iwami
46th TRS Meeting
2016年
|
23. |
「単一化閉包に基づく単一化について」
岩見 宗弘
日本ソフトウェア科学会 第33回大会
2016年
|
24. |
「On Comparison of Semi-Unification Problems」
M. Iwami
43rd TRS meeting
2015年
|
25. |
「半単一化問題について」
岩見 宗弘
第17回プログラミングおよびプログラミング言語ワークショップ
2015年
|
26. |
「Abstract Congruence Closure」
M. Iwami
40th TRS meeting
2014年
|
27. |
「Fundamental Properties of Thue-Morse Sequence」
M. Iwami
41st TRS meeting
2014年
|
28. |
「Termination of Rule-Based Calculi for Uniform Semi-Unification」
M. Iwami
39th TRS meeting
2013年
|
29. |
「Proving Equality of Streams」
Munehiro Iwami
37th TRS meeting
2012年
|
30. |
「Semi-unification」
Munehiro Iwami
36th TRS Meeting
2012年
|
31. |
「Disproving General Productivity Automatically in Infinite Term Rewriting Systems」
Munehiro Iwami
35th TRS meeting
2011年
キーワード:項書換えシステム
|
32. |
「左線形かつK-開発閉包な項書換えシステムの合流性に関する考察」
岩見 宗弘
代数と言語のアルゴリズムと計算理論
2010年
|
33. |
「無限項書換えシステムにおける性質に関する考察」
岩見宗弘,青戸等人
代数と言語のアルゴリズムと計算理論
2010年
キーワード:項書換えシステム
|
34. |
「Strong convergence of combinators」
Munehiro Iwami
研究集会「代数アルゴリズムと言語および計算理論」
2009年
|
35. |
「Strong convergence of term rewriting systems based on combinators」
Munehiro Iwami
32rd TRS Meeting
2009年
|
36. |
「Acyclic and related properties of combinators」
Munehiro Iwami
30th TRS Meeting
2008年
|
37. |
「Acyclic of combinators」
Munehiro Iwami
証明論と論理・計算の構造
2008年
|
38. |
「Acyclicity of Combinators」
Munehiro Iwami
第11回 シンポジウム 代数、言語と計算
2008年
キーワード:1001
|
39. |
「Strong convergence of combinators」
Munehiro Iwami
31st TRS Meeting
2008年
|
40. |
「組合せ子の非循環性」
岩見宗弘
研究集会 代数、言語のアルゴリズムと計算理論
2008年
|
41. |
「組合せ子の非循環性と関連する性質について」
岩見 宗弘
第71回情報処理学会プログラミング研究会
2008年
|
42. |
「組合せ子の非循環性と関連する性質について」
岩見 宗弘
日本ソフトウェア科学会 第25回 大会
2008年
|
43. |
「Confluence of left-linear and K-development closed term rewriting systems」
Munehiro Iwami
28th TRS Meeting
2007年
|
44. |
「K-開発閉包な左線形項書換えシステムの合流性」
岩見 宗弘
計算機科学の理論とその応用
2007年
|
45. |
「組合せ子 L の非循環性とその応用」
岩見 宗弘
代数、形式言語、計算システム理論とその応用
2007年
|
46. |
「組合せ子 Lの非循環性とその応用」
岩見宗弘
日本ソフトウェア科学会 第24回 大会
2007年
|
47. |
「組合せ子の非循環性について」
岩見宗弘
電子情報通信学会 ソフトウェアサイエンス研究会
2007年
|
48. |
「Confluence of Left-linear Term Rewriting Systems」
Munehiro Iwami
27th TRS Meeting
2006年
|
49. |
「Javaによる仮説に基づく整合性管理機構の実装」
上野雄太 岩見宗弘
第8回プログラミングおよびプログラミング言語ワークショップ
2006年
|
50. |
「左線形かつK-開発閉包な項書換えシステムの合流性について」
岩見 宗弘
電気・情報関連学会中国支部第57回連合大会
2006年
|
51. |
「左線形項書換えシステムの合流性」
岩見 宗弘
日本ソフトウェア科学会 第23回 大会
2006年
|
52. |
「An improved recursive decomposition ordering for term rewriting systems revisited」
Munehiro Iwami
第4回情報科学技術フォーラム
2005年
|
53. |
「Note of simply typed term rewriting systems」
Munehiro Iwami
日本ソフトウェア科学会 第22回大会
2005年
|
54. |
「高階項書換えシステムのモジュラ性」
岩見宗弘
第2回システム検証の科学技術シンポジウム
2005年
|
55. |
「An improved recursive decomposition ordering for term rewriting systems revisited」
Munehiro Iwami
25th TRS meeting
2004年
|
56. |
「Persistence of semi-completeness for term rewriting systems」
Munehiro Iwami
International Conferece of Information Technology
2004年
|
57. |
「Persistence of termination for locally confluent overlay term rewriting systems」
Munehiro Iwami
22nd IASTED International Multi-Conference on APPLIED INFORMATICS
2004年
|
58. |
「Persistence of termination for non-overlapping term rewriting systems」
Munehiro Iwami
第3回情報科学技術フォーラム
2004年
|
59. |
「Persistence of termination for overlay term rewriting systems」
Munehiro Iwami
情報処理学会 プログラミング研究会
2004年
|
60. |
「Persistence of termination for overlay term rewriting systems」
Munehiro Iwami
研究集会 検証と書換え
2004年
|
61. |
「Persistence of termination for righr-linear term rewriting systems」
Munehiro Iwami
24th TRS meeting
2004年
|
62. |
「Persistence of termination for right-linear term rewriting systems」
Munehiro Iwami
International Conference of Information Technology
2004年
|
63. |
「Persistence of termination of term rewriting systems with ordered sorts」
Munehiro Iwami
International Conference of Information Technology
2004年
|