Skip to content
Algorithmic randomness , Invited Lecture, 2026 Annual Meeting of the Mathematical Society of Japan，(24 Mar, 2026), TokyoWhy are Calculus, Linear Algebra, and Probability and Statistics Important?, Lecture at Meiji High School, (26 Nov, 2025), Tokyo
Can Artificial Intelligence Become a University Professor?, Lecture at Nihon Gakuen High School, (19 Nov, 2025), Tokyo
Randomness with respect to c.e. semimeasures , CCA2025, (24 Sep, 2025), KyotoVariation of weakly computable reals in Solovay reducibility , ALC, (8 Sep, 2025), KyotoSolovay reducibility for computably approximable reals , Workshop@BIMSA, (28 Aug, 2025), BeijingCan AI be a mathematician? , Summer seminar for affiliated schools, (25 Aug, 2025), KawasakiSolovay reducibility for computably approximable reals , CCR, (17 June 2025), Bordeaux (France), invitedQuantifier Variations in Solovay Reducibility , AMS, (4 May 2025), San Luis ObispoHow to study mathematics in the era of generative AI , Collaborative Event, (25 Mar, 2025), KawasakiQuantifier variations in Solovay reducibility , MSJ, (18 Mar, 2025), TokyoAlgorithmic Information Theory , Statistics Seminar, (11 Mar, 2025), SapporoRate of convergence of computable prediction , LA Symposium, (28 Jan, 2025), KyotoWhat is AI doing? , Kofu Minami High School, (11 Oct, 2024), KofuAlgorithmic randomness theory and learnability , SAML2024, (9-11 July, 2024), KyotoStrong Solovay reducibility , CCR2024, (12 Mar, 2024), NagoyaStrong Solovay reducibility , Proof theory workshop@RIMS, (12 Dec, 2023), KyotoComputable prediction , Mini-workshop on computability in Tokyo, (6 Nov, 2023), TokyoSolovay reducibility and signed-digit representation , CCC@RIMS, (26 Sep, 2023), KyotoCharacterizations of Solovay reducibility via query restriction for signed-digit representation , Mathsoc, (22 Sep, 2023), SendaiComputability of reals , Summer School, (12-15 Sep, 2023), TokyoSolovay reducibility and signed-digit representation , NUS workshop, (15 June, 2023), SingaporeSubclasses of the weakly computable reals , Tokyo model theory seminar, (26 Oct, 2022), OnlineSubclasses of weakly computable reals that form real closed , Mathsoc, (15 Sep, 2022), SapporoSubclasses of weakly computable reals , CCR2022, (9 June, 2022), INI(UK) & OnlineGenerality of computable measures , LCD2022, (1 June, 2022), Leeds & OnlineThe rate of convergence of computable predictions, The Mathematical Society of Japan, (28 Mar, 2022), Saitama University => cancelled
The rate of convergence of computable predictions , RIMS workshop, (22 Dec, 2021)，RIMS&ZoomThe rate of convergence of computable predictions , DMV, (15 Sep, 2020), OnlineReverse randomness , talk at Kyoto Univ., (8 Nov, 2019), KyotoComputable prediction , AGI2019, (Aug, 2019), Shenzhen (China)Uniform relativization , CiE2019, (19 July, 2019), Durham (UK) invited to a special sessionSchnorr triviality via decidable machines , CTFM2019, (25 Mar, 2019), Wuhan (China) invitedMuchnik degrees and Medvedev degrees of the randomness notions , AMS, （22 Mar, 2019)， HawaiiCoherence between reducibility and randomness notions , MathSocJP, (18 Mar, 2019), TokyoThe chance that the sun will rise tomorrow revisited , SIG-AGI, (15 Mar, 2019), TokyoConstruction of random and nonrandom sets , talk in SLS2018, (8 Dec, 2018), SendaiErdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm , talk in CTFM2018, (14 Sep, 2018), TokyoA tutorial in game-theoretic probability and algorithmic randomness , talk in CTFM2018, (13 Sep, 2018), TokyoThe law of the iterated logarithm , seminar talk in the lab, (30 July, 2018), KawasakiContinuity of limit computable functions , a seminar talk in University of HawaiiContinuity of limit computable functions at 1-generic points , seminar with Suzuki lab, (14 Feb, 2018), KawasakiA hierarchy of functions corresponding randomness hierarchy , RIMS workshop, (26 Dec, 2017), KyotoComputation at random points , IPA math 2017, (14 Dec, 2017), NakanoWhat is mathematics at all? , Meiji High School, (6 Dec, 2017), ChofuHalting Probability $\Omega$ , Young gathering on mathematical foundations, (20 Oct, 2017), HachiojiFace randomness by mathematics , mathpower, (7 Oct 2017), Tokyo (invited)Solomonoff’s universal induction, or algorithmic probability , SIG-AGI, (15 Sep 2017), Tokyo (invited)Turing degree , Summer school of mathematical foundations 2017，(6 Aug 2017)，TokyoBerry’s paradox , Freshman seminar (22 Apr 2017), KawasakiRandom numbers , A talk at a high school (20 Apr 2017), YokohamaCan one compute a more random set uniformly? , MSJ (25 Mar 2017), HachiojiAn Introduction to statistics , A talk to junior-high students (24 Mar 2017), KawasakiRandomness of randomness deficiency , Joint seminar with Suzuki lab (3 Mar 2017), HachiojiRandomness notions in Muchnik and Medvedev degrees , Dagstuhl seminar on “Computability Theory” (24 Feb 2017), Warden (Germany)A way to judge using probability , lecture in a high school (13 Dec 2016), KanagawaRandomness notions in Muchnik and Medvedev degrees , CTFM (20 Sep 2016), TokyoComputability of reals on the space where the triangle inequality does not hold , Mathematical Society of Japan at Kansai University (18 Sep 2016), Suita-cityComputability of reals on the space where the triangle inequality does not hold , Lab seminar (28 July 2016), KawasakiVariants of layerwise computability , CCA2016 (15-17 June 2016), Faro (Portugal), (invited)Randomness and computability , Colloquium at Tsukuba University (2 June 2016) TsukubaMass problems for randomness notions , The mathematical Society of Japan in University of Tsukuba (17 Mar 2016) TsukubaOn the notions of randomness and probability , The Third Meeting of Quantum Foundation Club (12 Mar 2016) TokyoMass problems for randomness notions , a seminar in Ikuta (18 Feb 2016) Kawasaki-shiWhat is random? , Ikuta Salon (12 Dec 2015) Kawasaki-shiSeparation of randomness notions in Weihrauch degrees , Dagstuhl Seminar 15392 (25 Sep 2015), Warden (Germany)Characterizations of 3-randomness via complexity , MSJ Autumn Meeting 2015 (16 Sep 2015), KyotoReducibilities as refinements of the randomness hierarchy , CTFM2015 (11 Sep 2015), TokyoWelcome to mathematical paradoxes , Summer seminar for high school students (17 Aug 2015), KawasakiThe randomness hierarchy and reducibilities as its refinements , Joint seminar with TMU (23 Feb 2015), HachiojiTotal-machine reducibility and randomness notions , ALC2015 (5 Jan 2015), Mumbai (India), (invited)Derandomization in game-theoretic probability , GTP2014 (13 Nov 2014), Guanajuato (Mexico)A game-theoretic proof of Erdos-Feller-Kolmogorov-Petrowsky law of the iterated logarithm for fair-coin tossing (presented by Prof. Takemura), The mathematical Society of Japan (26 Sep 2014), Hiroshima
Betting game and mathematics , Summer seminar for high school students (17 Aug 2014), KawasakiMathematical formulation of “unpredictability , Katarou seminar (21 June 2014), KyotoSchnorr randomness versions of K, C, LR, vL-reducibilities , CCR2014 (13 June 2014), SingaporeCharacterization of Lebesgue points via integral tests , Mathematical Society of Japan (16 Mar 2014), TokyoA Gap Phenomenon for Schnorr Randomness , CTFM (20 Feb 2014), TokyoUnpredictability of initial points , RIMS Workshop: Dynamical Systems and Computation, (15 Jan 2014), Kyoto (invited)Variants of Layerwise Computability , ARGENTINA-JAPAN-NEW ZEALAND WORKSHOP, (2-3 Dec 2013), Auckland in New Zealand (invited)Almost uniform weak n-randomness , CCR2013, (23-27 Sep 2013), Moscow in RussiaBeing a Lebesgue point for integral tests , ALC 2013, (16-20 Sep 2013), Guangzhou in China$L^1$-computability and Schnorr randomness , A seminar talk at Universität der Bundeswehr München (26 Aug 2013), München in GermanyThe emergence of probability from randomness and games (with A. Takemura), Modeling Market Dynamics and Equilibrium: New Challenges, New Horizons, (19-22 Aug 2013), Bonn in Germany (invited)Polynomial-time randomness and differentiability (presented by Kawamura ), CiE2013, (1-5 July 2013), Milano in Italy
Lowness for uniform Kurtz randomness (presented by Kihara ), CiE2013, (1-5 July 2013), Milano in Italy
$L^1$-computability and the computability of conditional probability , ARA, (27-28 June 2013), Nancy in France (invited)From randomness to prediction and probability , Group seminar, (12 June 2013), TokyoThe preordering related to uniform Schnorr randomness , RPTC2013, (15 May 2013), TokyoUniform relativization and almost uniform relativization , ELC Seminar on Algorithmic Randomness, (13 May 2013), TokyoThe way to capture the notion of probability , Seminar of Hasuo group, (23 April 2013), TokyoVan Lambalgen’s Theorem for uniform Kurtz randomness , The Mathematical Society of Japan, (21 March 2013), KyotoThe other history of probability theory , The Mathematical Society of Japan, (20 March 2013), KyotoSchnorr and Kurtz randomness versions of Merkle’s criterion , COMP, (18 March 2013), GifuThings to do in and with algorithmic randomness , SLS2013, (22-23 Feb 2013), SendaiComputably measurable sets and computably measurable functions in terms of algorithmic randomness , CTFM, (18-20 Feb 2013), TokyoComputability of conditional probability , LA symposium 2012, (28 Jan 2013), KyotoVan Lambalgen’s Theorem for uniform Kurtz randomness , Seminar Talk in Tokyo Institute of Technology, (25 Jan 2013), TokyoComputable measures in computable analysis , Seminar Talk in JAIST, (20 Dec 2012), IshikawaVan Lambalgen’s Theorem and Radon-Nikodym derivative , Young Logician’s Gathering in Japan, (23 – 25 Nov 2012), NaraAn introduction to algorithmic randomness , Fourth Workshop on Game-Theoretic Probability and Related Topics, (12 – 14 Nov 2012), The University of TokyoThe law of the iterated logarithm in game-theoretic probability , Fourth Workshop on Game-Theoretic Probability and Related Topics, (12 – 14 Nov 2012), The University of TokyoWhere is randomness? , Math Lectures, (13 Oct 2012), Kyoto UniversityNatural properties that a randomness notion should have , The Mathematical Society of Japan, (18-21 Sep 2012), Kyushu UniversityAn introduction to game-theoretic probability , SLACS 2012, (15-16 Sep 2012), Kyoto Sangyo UniversitySchnorr triviality and being a basis for tt-Schnorr randomness , Proof theory and complexity, (12-14 Sep 2012), RIMSOn the notion of randomness , Summer school of foundations of mathematics, (4-7 Sep 2012), Tokyo Institute of TechnologyOn the effectivization of Lusin’s theorem , LA symposium 2012, (17 July, 2012), KyotoSchnorr triviality is equivalent to being a basis for tt-Schnorr randomness , CCR 2012, (2 – 6 July, 2012), Isaac Newton InstituteWeak L^1-computability and Limit L^1-computability , CCA 2012, (24 – 27 June, 2012), University of CambridgeAn integral test for Schnorr randomness and its applications , CiE 2012, (18 – 23 June, 2012), University of CambridgeSchnorr triviality is equivalent to being a basis for tt-Schnorr randomness , CS seminar, (7 June, 2012), Kyoto UniversityAlgorithmic interpretation of probability , CAPE lectures, (29 May 2012), Kyoto UniversityThe limit of prediction and randomness , CS seminar, (26 Apr 2012), Kyoto UniversityThe convergence rate of SLLN in the case of non-i.i.d. (with A. Takemura), Annual meeting of Mathematical Society of Japan 2012, (26-29 Mar 2012), Tokyo University of ScienceAt which points are functions differentiable? , Annual meeting of Mathematical Society of Japan 2012, (26-29 Mar 2012), Tokyo University of ScienceWhy the event with probability 0 happen , Young-RICE, (20 Mar 2012), Kyoto UniversityL^1-computability and weak L^1-computability , Kyoto computable analysis Symposium 2012, (24-27 Feb 2012), Kyoto Sangyo UniversitySchnorr Layerwise Computability , Workshop on Proof Theory and Computability Theory 2012, (20-23 Feb 2012), Harumi Grand HotelAn introduction to algorithmic randomness , GCOE tea time, (10 Jan 2012), Kyoto UniversityCharacterization of Kurtz randomness by a differentiation theorem , Twelfth Asian Logic Conference, (15 – 20 Dec 2011), Wellington, New Zealand (invited)Randomness and separation axioms , Analysis and Randomness in Auckland, (13 – 14 Dec 2011), Auckland (invited)An optimal superfarthingale and its convergence over a computable topological space, Solomonoff 85th Memorial Conference , (30 Nov – 2 Dec 2011), Melbourne (referred)Characterization of Kurtz randomness by a differentiation theorem , CS Seminar, (17 Nov 2011), Kyoto UniversityRandomness and differentiability , WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011, (Sep 12, 2011), Tokyo Metropolitan UniversityAn optimal semimeasure and its convergence , ALGI 22, (Aug 23, 2011), University of TokyoCharacterizing randomness by integral tests , CiE 2011, (June 29, 2011), Sofia University (abstract referred)Characterizing randomness by integral tests , CS Seminar, (June 16, 2011), Kyoto UniversityComputability of measures and A-topology , CC-Seminar, (Mar 4, 2011), Kyoto Sangyo UniversityDegree of non-randomness and uniform Solovay reducibility , WORKSHOP ON PROOF THEORY AND COMPUTABILITY THEORY, (Feb 23, 2011), Iwanumaya in Sendai (invited)Towards prediction via randomness , SSP, (Feb 22, 2011), University of Tokyo in TokyoRandomness in a dynamical system , DSC seminar, (Feb 14, 2011), Hokkaido University in HokkaidoAlgorithmic randomness over general spaces , CCA-CCR 2011, (Jan 31, 2011), Cape town in South Africa (abstract referred)Frequency and belief are probability , SLACS2010, (Nov 2, 2010), Sendai in JapanHow much better can we predict the future? , Kumamoto(October 2, 2010), Kyoto(October 22, 2010), Gifu(October 25, 2010) in JapanAlgorithmic randomness over general spaces , “Formal Systems and Computability Theory” as a RIMS research project, (Sep 16, 2010), Kyoto in JapanLimit theorems on a computable topological space , ALGI21, (Sep 6, 2010), Shiga in JapanComputable Topology and Randomness , Computable Analysis in Kyoto, (Jul 26, 2010), Kyoto in JapanAlgorithmic randomness , RIMS colloquium, (Jun 16, 2010), Kyoto in JapanAlgorithmic randomness over general spaces , RIMS CS seminar, (Jun 10, 2010), Kyoto in JapanAn extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals , a workshop, (Mar 1, 2010), Tokyo in Japan.An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals , my D.Sc. Defence, (Jan 19, 2010), Kyoto in Japan.Another relativization of Schnorr randomness and computably randomness , ALGI20, (Sep 14, 2009), Tottori in Japan.An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals , SLACS 2009, (Sep 1, 2009), Kyoto in Japan.Classification of Index Sets of Functions , CSCAT 2007, (Mar 12, 2007), Kyoto in Japan.