研究発表 - Attila EGRI-NAGY

1. 2nd Akita Philosophy Seminar，国内会議，2024/03，Akita University，A Metaphor for Computer Programming and its Ecological Implications，口頭（一般）

2. Group, Algebra, Language and Related Areas in Computer Science ，国際会議，2024/02，RIMS，Hierarchical Decompositions of Semigroups - Back to the Basics，口頭（一般）

3. The VI AMMCS International Conference, Waterloo, Canada，国際会議，2023/08，Lazaridis Hall, Waterloo Campus of Wilfrid Laurier University，Compact Notation for Finite Transformations，口頭（一般）

4. The VI AMMCS International Conference, Waterloo, Canada，国際会議，2023/08，Lazaridis Hall, Waterloo Campus of Wilfrid Laurier University，On Constructing Finite Automata by Relational Programming，口頭（一般）

5. Holonomy Code Camp (tutorial session for graduate students)，国際会議，2023/08，Workflow for using GAP and SgpDec and the four big ideas in the holonomy decomposition of transformation semigroups.，口頭（一般）

6. 14th INTERNATIONAL WORKSHOPKSHOP ON NATURAL COMPUTING，国際会議，2023/01，TOHOKU UNIVERSITY, SENDAI, JAPAN ，AI, games, and the problem of scientific realism，口頭（一般）

7. reClojure 2022，国際会議，2022/12，Recreational Coding，口頭（一般）

   

8. JASAL2022 National Conference Co-sponsored by Akita International University，国際会議，2022/10，Infinity Room - Design and Implementation，口頭（一般）

9. Lambda Days 2023，国際会議，2022/07，The work done by something else，口頭（一般）

   

10. 65th Annual Meeting of The Australian Mathematical Society，国際会議，2021/12，Flat Curriculum with Self-Contained Micro Topics，口頭（一般）

11. 64th Annual Meeting of The Australian Mathematical Society. ，国際会議，2020/12，Igo Math - Smuggling more Mathematics into the Liberal Arts curriculum with thehelp of the ancient game of Go，口頭（一般）

12. CANDAR'20 The Eighth International Symposium on Computing and Networking ，国際会議，2020/11，Derived metrics for the game of Go – intrinsic network strength assessment and cheat-detection，口頭（一般）

    

13. ACEID2018 The Asian Conference on Education & International Development，国際会議，2018/03，Kobe，WORKSHOP: Thinking with the Help of Formal Systems – On the Unification of Mathematics and Computer Programming in Education，口頭（一般）

14. 10th Clojure/conj 2017，国際会議，2017/10，Hilton Baltimore, Maryland, US，Poetry of Programming，口頭（一般）

    

15. 11th International Workshop on Natural Computing，国際会議，2017/05，An Algebraic View of Computation，口頭（一般），代数学，情報学基礎理論，ソフトウェア

    

16. AMSIG seminar series，国内会議，2017/04，Akita University, Engineering building 7, Room 209，Hierarchical decompositions of finite automata - computational Krohn-Rhodes theory，口頭（一般）

    

17. Mini Workshop on Algebra and Computing，国際会議，2017/02，Kyoto Sangyo University，Computing isomorphisms, embeddings and relational morphisms of finite semigroups，口頭（一般），数理情報学，代数学，情報学基礎理論

18. Developments of Language, Logic, Algebraic systems and Computer Science，国際会議，2017/02，Holonomy decompositions of transformation semigroups up to degree 4，口頭（一般），数理情報学，代数学，情報学基礎理論

19. Digital Studies Hackathon，国内会議，2016/11，AIU，Teaching, digitally disrupted，口頭（一般），哲学・倫理学，教育学，認知科学

    

20. CANDAR'16 The Fourth International Symposium on Computing and Networking ，国際会議，2016/11，Finite Computational Structures and Implementations，口頭（一般），情報学基礎理論，代数学，ソフトウェア

21. AMSIG seminar series，国内会議，2016/11，Computation as Function Evaluation - From the roots of LISP to the success of Clojure，口頭（一般），ソフトウェア，情報学基礎理論，数理情報学

    

22. 10th International Workshop on Natural Computing，国際会議，2016/05，From Natural Computing to the Nature of Computation，口頭（一般），代数学，情報学基礎理論，進化生物学

23. AMSIG seminar series，国内会議，2016/05，Finite Diagram Semigroups，口頭（一般），代数学，情報学基礎理論，数理情報学