Skip to content
Strong 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.