「群・環・言語と計算機科学の周辺領域」共同研究（公開型）
京都大学数理解析研究所 RIMS 共同研究（公開型）「群・環・言語と計算機科学の周辺領域」を下記の日程で開催しますので, ご案内申し上げます.
記
日時:2023 年

2 月 15 日（水） 9:30〜
2 月 17 日（金）16:30
京都大学数理解析研究所 111 号室
京都市左京区北白川追分町
市バス京大農学部前または北白川下車

プログラム■ 2 月 15 日（水）9:30–10:00 Igor Potapov University of Liverpool
Computational Problems on Combinatorial Necklaces and Crystal Structure Prediction
10:00–10:30 足立智子（Tomoko Adachi） 静岡理工科大学
Orthogonality of Quasigroups and Secret Sharing Scheme with Perfect Concealment
休憩
10:40–11:10

11:10–12:00

昼食休憩
13:10–13:40

13:40–14:10

14:10–14:40

休憩
14:50–15:40

15:40–16:10
16:10–16:40

國持良行 (Yoshiyuki Kunimochi) 静岡理工科大学
Some classes of strong codes
ストロングコードのいくつかのクラス
Invited Talk (招待講演）
村上祐子 (Yuko Murakami) 立教大学
Elucidation of completeness of achievement stit logic of agency
達成行為論理の完全性証明の説明

町田元 (Machida, Hajime) 一橋大学
Centralizing monoids of majority operations
神谷徳昭（Noriaki Kamiya) 会津大学
On triality relations of normal triality algebras and Lie algebras
ある代数系の三対原理とリー代数
筒井久弥 (Hisaya Tsutsui) Embry-Riddle Aeronautical University
An infective test lemma and primitivity of certain classes of rings

Invited Talk (招待講演）
Alexander Meduna Brno University of Technology
Grammars with Context Conditions and Their Applications
Christopher Briggs Embry-Riddle Aeronautical University
Emergent gender diﬀerentiation in gendered genetic algorithm meta-optimization
Szilard Fazekas Akita University
The general case of the clusters conjecture■ 2 月 16 日（木）9:30–10:00 神保 秀司 (Shuji Jimbo) 岡山大学
Partition of an Eulerian circuit search problem for the complete graph of order 15
15 点からなる完全グラフのオイラー回路探索問題の分割
10:00–10:30 藤田憲悦 (Fujita, Kenetsu) 群馬大学, 倉田俊彦 (Kurata, Toshihiko) 法政大学Boolos’ ”The Hardest Logic Puzzle Ever” and coinduction
ブーロスの最強の論理パズルと余帰納法
休憩
10:40–11:10

米田二良 (Jiryo Komeda) 神奈川工科大学
On numerical semigroups whose quotients by two are generated by two or three elements
2 で割った商が 2 個または 3 個で生成される数値半群について

11:10–11:40

昼食休憩
12:50–13:40

13:40–14:20
14:20–14:50

休憩
15:00–15:50

15:50–16:20

16:20–16:50

18:30–

近藤通朗 (Michiro Kondo) 東京電機大学, 河口万由香 (Mayuka F.Kawaguchi)
Note on quotient normal eo-algebras
正規 eo 代数の商代数について

Invited Talk (招待講演）
Collin Bleak University of St AndrewsEmbeddings into Finitely Presented Simple Groups
Brent Solie Embry-Riddle Aeronautical University
Some questions on primitivity and Thompson’s group
深浦晴輝 (Haruki Fukaura), Szilard Fazekas, 山村明弘 (Akihiro Yamamura）
Some Theorems of Free Burnside Group
自由 Burnside 群のいくつかの定理

11:10–12:00

昼食休憩
13:20–13:50

13:50–14:20

14:20–14:50

休憩
15:00–15:30

15:30–16:00

16:00–16:30

秋田大学

Invited Talk (招待講演）
浦本武雄 (Takeo Uramoto) 九州大学マス・フォア・インダストリ研究所
On algebraic language theory, Galois theory, and class ﬁeld theory
湯山 孝雄 (Takao Yuyama) 東京工業大学
Groups whose Word Problem is Accepted by an Abelian G-automaton
語の問題がアーベル G-オートマトンで受理される群について
Marcin J. Schroeder Tohoku University
The Relationship Between Rota’s Logic of Information
Based on Partitions and Logic of Information Deﬁned in a Closure Space
懇親会 (Banquet)■ 2 月 17 日（金）9:30–10:00 岩見宗弘(MunehiroIwami) 島根大学
RewritingofRationalTermsbyTreeTransducerRevisited
正則項の木変換器による書き換え：再考
10:00–10:30 黄 新昊 (Huang Xinhao), Szilard Fazekas, 山村明弘（Akihiro Yamamura）
Reconstructing Words from Mirror Words
休憩10:40–11:10

北海道大学

秋田大学

庄司邦孝 (Kunitaka Shoji) 島根大学
Self-injective inverse semigroups
Invited Talk (招待講演）
Carl-Fredrik Nyberg-Brodda University Gustave EiﬀelLanguage-theoretic methods in semigroup theory

山村明弘（Akihiro Yamamura） 秋田大学
Latin Hexahedra and Related Combinatorial Structures
堀内清光 (Kiyomitsu Horiuchi) 甲南大学
On an algebraic system similar to logic using trice
トリスによる論理のような代数系について
小林ゆう治 (Yuji Kobayashi) 東邦大学, Laboratory of Mathematics and Games
Multipliers and weak multipliers of algebras

山中聡（Satoshi Yamanaka） 津山工業高等専門学校
On Galois polynomials with cyclic Galois group in skew polynomial rings II
歪多項式環における巡回ガロア群をもつガロア多項式について II熊澤昌明（Masaaki Kumazawa） 箕面学園高等学校
Remarks on BCK-algebras with condition (S) satisfying Cornish’s identity
Cornish の等式を満たし (S)-条件を持つ BCK-代数について
萩原普賢 (Fugen Hagihara) 京都大学
The ultimate signs of second-order holonomic sequences
2 階 holonomic 列の極限符号