このアイテムのアクセス数: 66

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
2265-08.pdf6.39 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorFujita, Ken-etsuen
dc.contributor.authorKurata, Toshihikoen
dc.contributor.alternative藤田, 憲悦ja
dc.contributor.alternative倉田, 俊彦ja
dc.date.accessioned2024-11-08T04:54:08Z-
dc.date.available2024-11-08T04:54:08Z-
dc.date.issued2023-09-
dc.identifier.urihttp://hdl.handle.net/2433/290210-
dc.description.abstractBoolos (1996) posed the puzzle "The hardest logic puzzle ever", and gave a solution in the style of biconditional questions. We first introduce a simple formalization of the puzzle consisting of questions, answerers, and answers in terms of propositional logic, and show its adequacy by the truth values (0, 1) semantics. We here pose a general form of the puzzle as an extension of Roberts (2001), and provide solutions to the instances. Our analysis reveals an essential condition for solvability of the puzzle in terms of the number of Random.en
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.publisher.alternativeResearch Institute for Mathematical Sciences, Kyoto Universityen
dc.subject.ndc410-
dc.titleBoolos' “The Hardest Logic Puzzle Ever” and coinduction (Group, Ring, Language and Related Areas in Computer Science)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume2265-
dc.identifier.spage47-
dc.identifier.epage56-
dc.textversionpublisher-
dc.sortkey08-
dc.addressGunma Universityen
dc.addressHosei Universityen
dc.address.alternative群馬大学ja
dc.address.alternative法政大学ja
dcterms.accessRightsopen access-
datacite.awardNumber17K05343-
datacite.awardNumber20K03711-
datacite.awardNumber.urihttps://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-17K05343/-
datacite.awardNumber.urihttps://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-20K03711/-
dc.identifier.pissn1880-2818-
dc.identifier.jtitle-alternativeRIMS Kokyurokuen
jpcoar.funderName日本学術振興会ja
jpcoar.funderName日本学術振興会ja
jpcoar.awardTitle簡約システムの存在定理に関する定量的性質の解明ja
jpcoar.awardTitleゲーデルのシステムTと計算量的階層に関する研究ja
出現コレクション:2265 群・環・言語と計算機科学の周辺領域

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。