* The date and time are Japan Standard Time (JST).
☟今月の予定 ☟This Month
登録フォーム(Registration form):
https://forms.gle/xcWXkfUyCuxvFgFS6
登録締め切り(deadline for registration):
22nd May 2026, 17pm
小学校高学年に親の仕事関係で日本に2年間滞在したことがあります. イギリスのセントアンドリュウス大学を卒業してから再び東京に戻ってきて, 東京工業大学で修士を取得し, 東京大学数理科学研究科で博士号をとりました. 卒業した後に, 東京大学数理科学研究科と沖縄科学技術大学院大学でのポスドクを経て, 去年大阪大学に着任し, 国際科学特別プログラム(IUPS) で大学一年生の授業を担当しております.
I came to Japan due to my parents’ work when I was little. After graduating with a fast track Master of Mathematics degree from the University of St Andrews, I came back to Japan and completed my graduate studies in Tokyo Institute of Technology and The University of Tokyo, resp. I spent two years in OIST and am now affiliated with the University of Osaka and in charge of first year Calculus and Linear algebra course for International students from the Department of Sciences.
トプソン群F , T , V は初めに論理学の立場から構成されたものですが,後に文字列書き換え系, ホモトピー論,組み合わせ論,力学系など,他の多くの数学の分野との関係が見出されています.本研究は高次元トプソン群nV の組み合わせ的な表現を用いて, nV のねじれ元と無限位数の元の組み合わせ的な性質を調べ, nV の有限生成ねじれ部分群が有限群になり, 無限位数の元が任意に大きな位数の根を持つことを証明しました. 本研究は小島定吉氏との共同研究です.
Thompson’s groups F , T , V were first constructed from a logic point of view while later found to have connections with many other branches of mathematics such as string rewriting system, homotopy theory, combinatorics and dynamical systems. We study the combinatorial interpretations of elements of Brin-Thompson group (higher dimensional Thompson groups) via block pair calculus and we corrected a mistake in the withdrawn manuscript entitled “On subgroups of Brin-Thompson groups and their analogue” and we proved that nV is torsion locally finite and their infinite order elements have arbitrarily large roots. This is a joint work with Sadayoshi Kojima.
大阪大学の国際科学特別プログラムを通して, 今まで自分が観察してきた日本(及び世界)の大学の国際化について述べます.
I would like to first introduce our IUPS program in the University of Osaka and talk a little about the happening of “Globalisation” in high education systems.
講演者の講演を聞いたうえで、こちらのテーマ、もしくはその場で出た話題になどについてお好きなようにディスカッションしてください。
☟次回以降の予定(早い順) ☟Next Schedule (Earliest first)