「論理・代数系・言語と計算機科学の周辺領域」 共同研究 （公開型）
京都大学数理解析研究所RIMS共同研究(公開型)「論理・代数系・言語と計算機科学の周辺領域」
を下記の日程で開催いたしますので，ご案内申し上げます．
記
日時2022 年 2 月 16 日（水）9:30～
2 月 18 日（金）16:40

場所 オンライン(Zoom)
プログラム
2 月 16 日（水）座長 岩見 宗弘 (Munehiro Iwami) 島根大学
9:30～10:00 筒井久弥 (Hisaya Tsutsui) Embry-Riddle Aeronautical University
On projectivity and primitivity of ideals in certain rings
10:00～10:50 Invited Talk (招待講演)
Benjamin Fine
Fairfield University
The Tarski Theorems and Extensions to Free Group Rings
休憩
座長 筒井久弥 (Hisaya Tsutsui) Embry-Riddle Aeronautical University
11:10～11:40 神谷德昭 (Noriaki Kamiya) 会津大学
On triality relations of certain eight dimensional algebras
ある８次元代数の三対原理
11:40～12:00 Thodsaporn Kumduang Chiang Mai University
The partial clones of terms with fixed numbers of totally occurring
variables
休憩座長 神谷德昭 (Noriaki Kamiya) 会津大学
13:30～14:00 西中恒和 (Tsunekazu Nishinaka) 兵庫県立大学
R. Thompson's group F and its group algebras
14:00～14:20 熊澤昌明 (Masaaki Kumazawa) 箕面学園高等学校
On Iseki's condition (S) in BCK-algebras
BCK-代数における、井関の(S)-条件をめぐって
14:20～14:50 池上叶流 （Kanaru Ikegami） 本郷克典 （Katsunori Hongou）
山中聡 （Satoshi Yamanaka） 津山工業高等専門学校
On Galois polynomials with cyclic Galois group in skew polynomial rings
歪多項式環における巡回ガロア群をもつガロア多項式について
休憩
座長 Szilard Fazekas Akita University
15:10～15:40 足立智子 (Tomoko Adachi) 静岡理工科大学
数独の 3 次元空間への拡張
Extension of Sudoku to 3-dim. space
15:40～16:10 Tatiana Jajcayova Comenius University

On computational aspects of finding inverse monoids of partial automorphisms
16:10～16:40 講演取消
2 月 17 日（木）座長 神保秀司 (Shuji Jimbo) 岡山大学
9:30～10:00 講演取消
10:00～10:30 米田ニ良 (Jiryo Komeda) 神奈川工科大学
On Weierstrass numerical semigroups generated by four elements
４元生成ワイエルシュトラス数値半群について休憩
座長 足立智子 (Tomoko Adachi) 静岡理工科大学
10:50～11:20 藤田憲悦 (Ken-etsu Fujita) 群馬大学、倉田俊彦（Toshihiko Kurata） 法政大学
A general form on the logic puzzle of Boolos
Boolos の論理パズルの一般形について
11:20～11:50 湯山孝雄 (Takao Yuyama) 東京工業大学
Word Problem for Groups and its Rational Transduction
群の語の問題とその有理変換
休憩
座長 近藤通朗 (KONDO Michiro) 東京電機大学
13:30～14:00 今野咲彩 (Saaya Konno)、山村明弘 (Akihiro Yamamura) 秋田大学
Left simple and left cancellative semigroups without idempotents
左単純でかつ左簡約であり冪等元を持たない半群について
14:00～14：30 田口輝希 (Teruki Taguchi)、山村明弘 (Akihiro Yamamura) 秋田大学
Correspondence between down-up alternating permutations and increasing 1-2trees
Down-up alternating permutation と increasing 1-2 tree の対応
14:30～14:50 黄新昊 (Huang Xinhao)、Szilard Fazekas、山村明弘(Akihiro Yamamura) 秋田大学
Slightly Improved Dynamic Algorithm for LIS
休憩
座長 西中恒和 (Tsunekazu Nishinaka) 兵庫県立大学
15:10～15:40 Szilard Fazekas Akita University
Some complexity measures of unconventional automata
15:40～16:10 Carl-Fredrik NYBERG-BRODDA University of Manchester
Congruential languages and special rewriting systems
16:10～17:00 Invited Talk (招待講演)
Emanuele Rodaro Politecnico di Milano
On the presentation of semigroups defined by Mealy machines
2 月18 日（金）座長 國持良行 (Yoshiyuki Kunimochi) 静岡理工科大学
9:30～10:00 深浦晴輝 (Haruki Fukaura)、山村明弘(Akihiro Yamamura) 秋田大学
Diagrams over groups and small cancellation conditions
群の図式とスモールキャンセル条件
10:00～10:30 Attila Egri-Nagy Akita International University
Computational Holonomy Decomposition of Finite Transformation Semigroups –Progress Report休憩
座長 藤田憲悦 (Ken-etsu Fujita) 群馬大学
10:50～11:20 近藤通朗 (KONDO Michiro) 東京電機大学
On extended order algebras
11:20～11:50 神保秀司 (Shuji Jimbo) 岡山大学
A Study of Constraints on Eulerian Circuits
オイラー回路に関する制約についての一考察
休憩
座長 米田ニ良 (Jiryo Komeda) 神奈川工科大学
13:30～14:00 小林ゆう治 (Yuji Kobayashi) 数学・ゲーム工房
Visiting old, learn new
温故知新
14:00～14:30 國持良行 (Yoshiyuki Kunimochi) 静岡理工科大学
Regularity of strong codes
ストロングコードの正規性
休憩
座長 小林ゆう治 (Yuji Kobayashi) 数学・ゲーム工房
14:50～15:20 山村明弘 (Akihiro Yamamura) 秋田大学
Euler numbers appearing in tree of Parikh matrices of permutations
15:20～16:10 Invited Talk (招待講演)
Robert Jajcay Comenius University
Computer aided constructions of cages
16：10～16：40 有元康一 (Koichi Arimoto)福岡教育大学On a formula of parametric version for Heronian triangles
ヘロン三角形における媒介変数型のある公式について