宮部賢志（ミヤベケンシ）
タイトル
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals
種類
口頭発表
発表場所
ゲーム論的確率論と関連分野に関するワークショップ
2010年3月1日
東京大学
内容
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random realsを元にした内容。
ダウンロード
スライド
タイトル
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals
種類
口頭発表
発表場所
学位審査
2010年1月19日
京都大学
内容
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random realsの論文を元にした内容。
ダウンロード
スライド
タイトル
Another relativization of Schnorr randomness and computably randomness
種類
口頭発表
発表場所
代数、論理、幾何と情報科学研究集会(ALGI20)
2009年9月14日
鳥取環境大学
内容
Truth-table Schnorr randomness and truth-table reducibly randomnessの論文を元にした内容。
ダウンロード
スライド
タイトル
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals
種類
口頭発表
発表場所
第26回記号論理と情報科学研究集会(SLACS 2009)
2009年9月1日
京都大学
内容
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random realsの論文の内容を元にしたものです。
ダウンロード
スライド
タイトル
Classification of Index Sets of Functions
種類
口頭発表
発表場所
理論計算機科学と圏論ワークショップ(CSCAT 2007)
2007年3月12日
京都大学