著者

飯澤 恒 坂部 俊樹 酒井 正彦 草刈 圭一朗 西田 直樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.105, no.129, pp.25-30, 2005-06-17

被引用文献数

3

---

プログラミング言語Malbolgeは, 意図的に言語仕様を難解に設計し, その言語上でのプログラムの作成や解読を困難にすることを目的とした, 難読(難解)プログラミング言語である.本研究では, ソフトウェア保護技術であるプログラムの難読化に応用することを目的として, Malbolge上で高度な機能を実現するためのプログラミングの指針を示す.

著者

長坂 哲 酒井 正彦 坂部 俊樹 草刈 圭一朗 西田 直樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.110, no.227, pp.55-60, 2010-10-07

被引用文献数

2

---

Malbolgeは最も難解なプログラミング言語として知られている.本研究では,飯澤らが提案したプログラミング手法に基づいて,Malbolgeが弱チューリング完全性を持つこと示す.そのために,チューリング完全性を持つ正規形のNプログラムをMalbolgeコードに変換できることを示す.ここで,本稿で示す性質が弱チューリング完全性であるのは,Malbolgeが固定されたメモリ空間およびレジスタ長の仮想機械により意味が定められているためである.

著者

坂梨 元軌 河邉 翔平 酒井 正彦 西田 直樹 橋本 健二

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21888825)

巻号頁・発行日

vol.2017-SE-196, no.24, pp.1-6, 2017-07-12

---

難読プログラミング言語 Malbolge は,その解析困難性により知的財産権の保護などに役立つと考えられているが,命令が特殊であるためプログラムの作成は非常に困難である.そのため,Malbolge プログラムを生成するための中間言語として制御付き疑似命令列が提案されているが,C などの通常の言語と比較すると依然としてプログラミングが困難である.本稿では,整数型と真偽型を扱え,while 文などの基本的な制御構造と再帰関数を定義できる C 言語のサブセットのプログラムから Malbolge コードへのコンパイラの実現法を述べる.コンパイラの実現のために,まず,既存の制御付き疑似命令列に配列構文と関数構文を追加し,それにあわせて既存の制御付き疑似命令列から Malbolge への変換系を拡張する.さらに C 言語のサプセットから制御付き疑似命令列へ変換する方法を提案する.

著者

湯元 良子 田川 茉希 永井 純也 酒井 正彦 桑田 直治 木平 健治 石野 岳志 平川 勝洋 高野 幹久

出版者

一般社団法人日本医療薬学会

雑誌

医療薬学 (ISSN:1346342X)

巻号頁・発行日

vol.34, no.10, pp.951-955, 2008 (Released:2010-02-07)

参考文献数

19

---

Burow’s solution,a hospital preparation,exhibits antibacterial activity against methicillin-resistant Staphylococcus aureus (MRSA) and other microorganisms that are commonly observed in chronic supprative otitis media.However,it takes several days to prepare Burow’s solution by the method commonly employed in Japan and it is difficult to ensure constant quality.With this in mind,we examined the pharmaceutical and pharmacological characteristics of Burow’s solution and developed a new prescription for it (Neo-Burow’s solution) having an aluminum acetate base.The new prescription takes only a few hours to prepare,is convenient,and ensures a solution of constant quality.In this study,we examined the clinical effects of Neo-Burow’s solution in external and internal otitis.We prepared NeoBurow’s solution in the Department of Pharmacy and used it for 13 patients in whom commercially available antibiotics had had no effect,in the Department of Otorhinolaryngology of Hiroshima University Hospital.Nine of the patients completely recovered after treatment with Neo-Burow’s solution,and it had some effect in 1 patient but was completely ineffective in the remaining 3 patients.No adverse reactions were observed.Our results indicated that Neo-Burow’s solution was effective and safe in the treatment of chronic suppurative otitis,even that accompanied by MRSA.We have received a lot of inquiries about Neo-Burow’s solution from pharmacies and other hospital facilities,most of them relating to its preparation and preservation.Our manuscript includes a summary of the inquiries and the answers given to them.

著者

長坂 哲 酒井 正彦 坂部 俊樹 草刈 圭一朗 西田 直樹 NAGASAKA Satoshi SAKAI Masahiko SAKABE Toshiki KUSAKARI Keiichirou NISHIDA Naoki

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.110, no.227, pp.55-60, 2010-10

---

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.

著者

安藤 聡 酒井 正彦 坂部 俊樹 草刈 圭一朗 西田 直樹 ANDO Satoshi SAKAI Masahiko SAKABE Toshiki KUSAKARI Keiichirou NISHIDA Naoki

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.112, no.23, pp.43-48, 2012-05

---

Malbolgeは最も難解なプログラミング言語として知られている.高級アセンブリ言語の開発によりMalbolgeプログラムの作成が可能になっているものの,プログラム中で使用できる変数の値の最大値が固定されておりゲーデルコーディングが不可能であるため,配列機能がないのは記述力不足であった.本論文ではこの問題を解決するため,高級アセンブラに用いられている実現手法を整理し,これに配列機能のための命令である領域確保命令と間接参照命令を追加する方法を提案する. Malbolge is known to be one of the most esoteric programming languages. Although it is possible to write programs in Malbolge by the development of a high-level assembly language, lack of facility to manage individual data in a group of data like an array in language causes problem because Godel-coding is impossible in a program due to bounded values in variables. In this paper, in order to solve this problem, we show implementation issues used in the assembler in well-organized manner and propose a method for implementing a memory allocation instruction and an indirect reference instruction for array facility into the assembler.

著者

馬野 洋平 酒井 正彦 西田 直樹 坂部 俊樹 草刈 圭一郎 UMANO Yohei SAKAI Masahiko NISHIDA Naoki SAKABE Toshiki KUSAKARI Keiichirou

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.107, no.392, pp.73-78, 2007-12 (Released:2015-01-20)

---

近年,論理式の充足可能性判定ツール(SATソルバ)の高速化が進み,これを利用した数独パズルの解法が提案されている.本稿では,この解法を応用して試作した,対話的に数独パズルの問題を作成するツールについて報告する.このツールでは,「セルに埋めても矛盾を生じない数字の表示」・「削除しても問題が一意性を保つセルの表示」・「問題を手筋のみで解ける範囲の図示」の三つの主要機能を実装している.前者二つの機能は,SATソルバを利用した解法を応用して問題め矛盾・解の一意性を高速に検出することにより実現している. In recent years, several efficient SAT solvers, which decide satisfiability of boolean formulae, have been developed and used in solving Sudoku puzzles. In this paper, we present the interactive tool for designing Sudoku puzzles that we constructed experimentally by using a SAT solver. This tool contains three main functions: 'displaying numbers that can be filled in a cell without a contradiction', 'displaying cells without contributing the uniqueness', 'displaying a partial solution obtained by fundamental techniques.' The implementation of the former two functions relies on efficient checks of a contradiction or uniqueness of the given problem by using a SAT solver.

著者

石橋 祐子 村上 照夫 湯元 良子 酒井 正彦 新谷 洋通 板羽 秀之 神辺 眞之 益田 慎 夜陣 紘治 木平 健治 高野 幹久

出版者

公益社団法人 日本薬学会

雑誌

YAKUGAKU ZASSHI (ISSN:00316903)

巻号頁・発行日

vol.124, no.11, pp.833-840, 2004 (Released:2004-11-01)

参考文献数

15

被引用文献数

6 6

---

Burow's solution, or aluminum acetate solution, is effective in inhibiting various microorganisms including methicillin-resistant Staphylococcus aureus (MRSA) that are commonly observed in chronic suppurative otitis media. It takes several days to prepare Burow's solution using aluminum sulfate, and the pharmaceutical properties of the solution are not fully understood. In this study, the effect of storage (5 months) of Burow's solution prepared according to the Teine-Keijin Hospital manual on its pharmaceutical properties and antibacterial activities was examined. We also attempted to develop a rapid preparation method of aluminum acetate (or 1.7% aluminum) solution using two commercially available compounds of aluminum acetate basic (Al2O(CH3CO2)4, Al(OH)(CH3CO2)2). The properties of Burow's solution, pH, osmolarity and antibacterial activity, were the same among different preparations and its storage for 5 months at 4°C had no effect on these properties. The antibacterial potency of Burow's solution was dependent on aluminum concentration and its antibacterial potency against S. aureus and several MRSA strains was of the same magnitude. In a rapid preparation, aluminum acetate basic was mixed with appropriate amounts of tartaric acid and acetic acid, and the suspension was boiled for 2—2.5 hr until dissolved. The rapidly prepared aluminum acetate solution showed the same pharmaceutical properties and antibacterial activities as those of Burow's solution. The newly developed preparation method for aluminum acetate solution is expected to be convenient and feasible for hospital treatment of chronic suppurative otitis media.

著者

水野 健一 草刈 圭一朗 酒井 正彦 坂部 俊樹

出版者

京都大学数理解析研究所

雑誌

数理解析研究所講究録 (ISSN:18802818)

巻号頁・発行日

vol.1375, pp.247-252, 2004-05

著者

酒井 正彦 坂部 俊樹

出版者

名古屋大学

雑誌

挑戦的萌芽研究

巻号頁・発行日

2010

---

本研究の目的は、プログラムの解読・改ざんが大変困難なプログラム言語であるMalbolgeを、ソフトウェア保護の目的に利用できるようにすることである。最も大きな問題点である、該当の言語でのプログラム作成の困難性を克服するため、Malbolgeのチューリング完全性を示し、Malbolgeプログラム作成手法の大枠を確立した。

著者

小野 寛晰 青戸 等人 鹿島 亮 石原 哉 外山 芳人 WOLTER Frank 酒井 正彦

出版者

北陸先端科学技術大学院大学

雑誌

基盤研究(C)

巻号頁・発行日

1996

---

本研究の目標は、計算機科学に現われる数理論理学の問題を理論と応用の両面から解明しようとするものである。本年度に得られた成果のうちの主要なものを以下にあげる。1.代数的手法による縮約のない部分構造論理の一般論の展開(小野)2.部分構造論理におけるMaksimovaの変数分離の原理の研究(小野)3.直感主義的様相論理の研究(青戸、小野)4.項書き換え系における停止性および合流性に関する研究と関数型プログラム言語への応用(外山、青戸)5.弱い含意命題論理に対する証明論(鹿島)6.構成的数学の展開(石原)1)の縮約規則をもたない論理の一般論については、小野はその成果をポーランド、スウェーデン、スペイン、ドイツで発表した。また北陸先端科学技術大学院大学において、オーストラリアのM.Bunder博士、R.Gore博士およびアメリカのA.Scedrov教授とそれぞれ部分構造論理に関する共同研究をおこなった。2)については、いくつかの部分構造論理に対しMaksimovaの原理を証明論的手法により証明した。このようなアプローチはこの研究が始めてである。3)の直観主義様相論理については、青戸がその有限モデル性についての興味深い結果を示した。4)の項書き換え系とその応用については、外山と青戸が精力的に研究をおこない、優れた成果をおさめている。弱い含意論理におけるcut elimination theoremについては鹿島が、また構成的数学については石原がいくつかの成果をあげた。