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

オンライン(Zoom)

プログラム
2 月 17 日（水）座長 岩見宗弘 (Munehiro Iwami) 島根大学
9:00～9:50

Invited Talk (招待講演)
Janet Page

University of Michigan

The non-Gorenstein locus of certain rings arising from finite posets
9:50～10:20 筒井久弥 (Hisaya Tsutsui)

Embry-Riddle University

Some aspects of TTF theory
休憩座長 宮崎 充弘（Mitsuhiro Miyazaki）京都教育大学
10:40～11:10 米田ニ良（Jiryo Komeda) 神奈川工科大学
Quasi-symmetric numerical semigroups on triple covers of curves
代数曲線の３重被覆上の準対称数値半群について
11:10～11:40 足立智子（Tomoko Adachi）桑嶋大地(Daichi Kuwajima) 東邦大学
On Modular Magic Sudoku Solution of small order
11:40～12:10 新屋良磨 (Ryoma Sin'ya) 秋田大学
Asymptotic Approximation by Regular Languages
正則言語による極限近似
休憩
座長 足立智子（Tomoko Adachi）東邦大学
13:30～14:20 Invited Talk (招待講演)
二木厚吉 (FUTATSUGI, Kokichi) JAISTSpecification Verification in CafeOBJ
14:20～15:10 神谷德昭 (Noriaki Kamiya)

会津大学

On certain algebraic structures associated with symmetric spaces
対称空間に附随する代数構造について

休憩
座長 新屋良磨 (Ryoma Sin'ya) 秋田大学
15:30～16:00 西中恒和 (Tsunekazu Nishinaka)

兵庫県立大学On group algebras of R. Thompson's group F
16:00～16:30 川井新 (Quawai, Shin) Imamura, Takuma (Kyoto University) andMatsumoto, Shuya (Keio University)
Hypersequent calculi for first order intermediate logics
16:30～17:00 Peter Leupold

University of Bremen

Tree Languages defined by Patterns
2 月 18 日（木）座長 西中恒和 (Tsunekazu Nishinaka) 兵庫県立大学
9:00～9:50

Invited Talk (招待講演)
Christopher Briggs Embry-Riddle Aeronautical University
A growth dichotomy for twisted polynomial algebras

9:50～10:20 池渕未来 (Mirai Ikebuchi) MITA Lower Bound of the Number of Axioms by Homological Methods
ホモロジー的方法による公理数の下界の導出
休憩
座長 近藤通朗 (Michiro Kondo) 東京電機大学
10:40～11:10 講演取消
11:10～11:40 有元康一 (Arimoto Koichi)
平野康之

岡山県立倉敷天城中学校(Hirano Yasuyuki) 広島工業大学

On lattice points which become vertices of Heronian triangles II
ヘロン三角形の頂点となる格子点について II
11:40～12:10 加瀬力 (Kase Riki) 秋田大学
Puzzle on Projective Plane P3 of Order 3 and Mathieu Groups
休憩
座長 米田ニ良（Jiryo Komeda) 神奈川工科大学
13:30～14:00 山中聡（Satoshi Yamanaka）津山工業高等専門学校
On (ρ,D)-separable polynomials and Galois polynomials in skew
polynomial rings
歪多項式環における(ρ,D)-分離多項式とガロア多項式について
14:00～14:30 宮崎 充弘（Mitsuhiro Miyazaki）京都教育大学
Some variations of the stable set polytope of a graph and Gorenstein
property of the Ehrhart rings of them

14:30～15:00 柴田義大 (Yoshiharu Shibata) 山口大学
On the square of a uniserial module
単列加群の平方について休憩
座長 Szilard Fazekas Akita University
15:20～15:50 藤田憲悦（Ken-etsu Fujita）群馬大学
On formalization of logic puzzles a la Smullyan
15:50～16:20 谷口雅弥 (TANIGUCHI Masaya) JAISTContinuations and Polymorphic Lambek Calculus
継続と多相ランベック計算
16:20～16:50 Pál Dömösi University of Debrecen & University of Nyíregyháza,
Géza Horváth University of Debrecen,
Ferenc Tamás Molnár CCLAB Ltd

andAdama Diene University of United Arab Emirates
Cryptosystems Based on Abstract Finite Automata
2 月 19 日（金）座長 藤田憲悦（Ken-etsu Fujita）群馬大学
9:00～9:20 中島 晴久（Haruhisa Nakajima）桜美林大学
Some properties of rings of invariants of certain reductive groups
ある簡約群の不変式環のいくつかの性質
9:20～9:50 國持良行(Yoshiyuki Kunimochi) 静岡理工科大学
On Closures of Extractable Codes9:50～10:20 Szilard Fazekas, Kaito Hoshi and Akihiro Yamamura Akita University
Two-way jumping automata
休憩
座長 國持良行(Yoshiyuki Kunimochi) 静岡理工科大学
10:40～11:10 丸田 辰哉 (Tatsuya Maruta) 大阪府立大学
Extension theorems for linear codes
11:10～11:40 小林 ゆう治 (Yuji Kobayashi) Laboratory of mathematics and games
Zeropotent algebras of dimension 3 over R
11:40～12:10 近藤通朗 (Michiro Kondo)

東京電機大学

Stabilizers in residuated lattices
休憩
座長 小林 ゆう治 (Yuji Kobayashi) Laboratory of mathematics and games
13:30～14:00 湯山孝雄 (Takao Yuyama) 東京工業大学

Word Problem for Virtually Abelian Groups and Constrained Automata
実質的アーベル群の語の問題と制約オートマトン
14:00～14:30 神保 秀司 (Shuji Jimbo) 岡山大学
Conjectures on the Variation in the Eulerian Recurrent Length ofComplete Graphs
完全グラフのオイラー回帰長の変動に関する予想
14:30～14:50 熊澤昌明 ( Masaaki Kumazawa ) 箕面学園高等学校
Two topics on BCK-algebras
BCK-代数に関する２つの話題
休憩
座長 神保 秀司 (Shuji Jimbo) 岡山大学
15:10～15:40 山村明弘 (Akihiro Yamamura) 秋田大学
Left simple and left cancellative semigroups without idempotents
15:40～16:30 Invited Talk (招待講演)
Collin Bleak University of St Andrews
On maximal subgroups of R. Thompson's group V.