履歴
2024年11月4日ページ作成
タイトル
汎用的学習理論
種類
総説論文
ジャーナル
数理解析研究所講究録
RIMS共同研究(公開型)証明論と証明活動
2228 証明と計算の理論と応用
ダウンロード
京都大学リポジトリからダウンロード
宮部賢志(ミヤベケンシ)
履歴
2024年11月4日ページ作成
タイトル
汎用的学習理論
種類
総説論文
ジャーナル
数理解析研究所講究録
RIMS共同研究(公開型)証明論と証明活動
2228 証明と計算の理論と応用
ダウンロード
京都大学リポジトリからダウンロード
履歴
2023年11月7日:投稿
タイトル
Solovay reducibility via Lipschitz functions and signed-digit representation
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki
種類
研究論文
出版情報
TBA
要旨
We explore Solovay reducibility in the context of computably approximable reals, extending its natural characterization for left-c.e. reals via computable Lipschitz functions. Our paper offers two distinct characterizations: the first employs Lipschitz functions, while the second utilizes Turing reductions with bounded use with respect to signed-digit representation. Additionally, we examine multiple related reducibilities and establish separations among them. These results contribute to a refined perspective of the relationship between Solovay reducibility and computable Lipschitz functions.