| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-10-15 11:30 難解言語Malbolgeのチューリング完全性について ○長坂 哲・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大）  SS2010-37 |
|
| 抄録 | （和） | Malbolge は最も難解なプログラミング言語として知られている．本研究では，飯澤らが提案したプログラミング手法に基づいて，Malbolge が弱チューリング完全性を持つこと示す．そのために，チューリング完全性を持つ正規形のN プログラムをMalbolge コードに変換できることを示す．ここで，本稿で示す性質が弱チューリング完全性であるのは，Malbolge が固定されたメモリ空間およびレジスタ長の仮想機械により意味が定められているためである． |
| （英） | Malbolge is known as one of the most esoteric programming languages. In this paper, we prove that Malbolge is weakly Turing complete. The proof is based on the Malbolge programming method proposed by Iizawa, et al. We give a transformation from the normal form N-programs known to be Turing complete into Malbolge programs. Completeness that this paper shows is weak one due to the fact that the semantics of Malbolge is hard coded into a virtual machine of which memory space and register length are fixed. | |
| キーワード | （和） | チューリング完全性 / Nプログラム / プログラミング言語 / Malbolge / / / / |
| （英） | Turing Completeness / N-program / programming language / Malbolge / / / / | |
| 文献情報 | 信学技報, vol. 110, no. 227, SS2010-37, pp. 55-60, 2010年10月. | |
| 資料番号 | SS2010-37 | |
| 発行日 | 2010-10-07 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2010-37 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2010-10-14 - 2010-10-15 |
| 開催地（和） | 岩手県立大学 |
| 開催地（英） | Iwate Prefectural Univ. |
| テーマ（和） | 一般 |
| テーマ（英） | General |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2010-10-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 難解言語Malbolgeのチューリング完全性について |
| サブタイトル（和） | |
| タイトル（英） | On Turing Completness of an Esoteric Language, Malbolge |
| サブタイトル（英） | |
| キーワード(1)（和/英） | チューリング完全性 / Turing Completeness |
| キーワード(2)（和/英） | Nプログラム / N-program |
| キーワード(3)（和/英） | プログラミング言語 / programming language |
| キーワード(4)（和/英） | Malbolge / Malbolge |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 長坂 哲 / Satoshi Nagasaka / ナガサカ サトシ |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 酒井 正彦 / Masahiko Sakai / サカイ マサヒコ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 坂部 俊樹 / Toshiki Sakabe / サカベ トシキ |
| 第3著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 草刈 圭一朗 / Keiichirou Kusakari / クサカリ ケイイチロウ |
| 第4著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第5著者 氏名（和/英/ヨミ） | 西田 直樹 / Naoki Nishida / ニシダ ナオキ |
| 第5著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-10-15 11:30:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2010-37 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | no.227 |
| ページ範囲 | pp.55-60 |
| ページ数 | 6 |
| 発行日 | 2010-10-07 (SS) |
[研究会発表申込システムのトップページに戻る]