このアイテムのアクセス数: 66
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| 2265-08.pdf | 6.39 MB | Adobe PDF | 見る/開く |
完全メタデータレコード
| DCフィールド | 値 | 言語 |
|---|---|---|
| dc.contributor.author | Fujita, Ken-etsu | en |
| dc.contributor.author | Kurata, Toshihiko | en |
| dc.contributor.alternative | 藤田, 憲悦 | ja |
| dc.contributor.alternative | 倉田, 俊彦 | ja |
| dc.date.accessioned | 2024-11-08T04:54:08Z | - |
| dc.date.available | 2024-11-08T04:54:08Z | - |
| dc.date.issued | 2023-09 | - |
| dc.identifier.uri | http://hdl.handle.net/2433/290210 | - |
| dc.description.abstract | Boolos (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.iso | eng | - |
| dc.publisher | 京都大学数理解析研究所 | ja |
| dc.publisher.alternative | Research Institute for Mathematical Sciences, Kyoto University | en |
| dc.subject.ndc | 410 | - |
| dc.title | Boolos' “The Hardest Logic Puzzle Ever” and coinduction (Group, Ring, Language and Related Areas in Computer Science) | en |
| dc.type | departmental bulletin paper | - |
| dc.type.niitype | Departmental Bulletin Paper | - |
| dc.identifier.ncid | AN00061013 | - |
| dc.identifier.jtitle | 数理解析研究所講究録 | ja |
| dc.identifier.volume | 2265 | - |
| dc.identifier.spage | 47 | - |
| dc.identifier.epage | 56 | - |
| dc.textversion | publisher | - |
| dc.sortkey | 08 | - |
| dc.address | Gunma University | en |
| dc.address | Hosei University | en |
| dc.address.alternative | 群馬大学 | ja |
| dc.address.alternative | 法政大学 | ja |
| dcterms.accessRights | open access | - |
| datacite.awardNumber | 17K05343 | - |
| datacite.awardNumber | 20K03711 | - |
| datacite.awardNumber.uri | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-17K05343/ | - |
| datacite.awardNumber.uri | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-20K03711/ | - |
| dc.identifier.pissn | 1880-2818 | - |
| dc.identifier.jtitle-alternative | RIMS Kokyuroku | en |
| jpcoar.funderName | 日本学術振興会 | ja |
| jpcoar.funderName | 日本学術振興会 | ja |
| jpcoar.awardTitle | 簡約システムの存在定理に関する定量的性質の解明 | ja |
| jpcoar.awardTitle | ゲーデルのシステムTと計算量的階層に関する研究 | ja |
| 出現コレクション: | 2265 群・環・言語と計算機科学の周辺領域 | |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。