On Esoteric language Malbolge for software protection
论用于软件保护的 Esoteric 语言 Malbolge
基本信息
- 批准号：22650003
- 负责人：
- 金额：$ 1.55万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Exploratory Research
- 财政年份：2010
- 资助国家：日本
- 起止时间：2010 至 2012
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
The purpose of this research is to develop theories for Malbolge, which is one of the most difficult program languages to read/alter, in order to use the language for software protection. To overcome the biggest problem, that is the difficulty of writing program, we have shown its Turing completeness and established a basic method to produce programs of Malbolge.
这项研究的目的是为 Malbolge（最难读取/更改的程序语言之一）开发理论，以便使用该语言进行软件保护。为了克服最大的问题，即编写程序的困难，我们展示了它的图灵完备性，并建立了产生Malbolge程序的基本方法。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング
用于查找实现三元函数的 Malbolge 指令序列的 SAT 编码
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：安藤聡;酒井正彦;坂部俊樹;草刈圭一朗;西田直樹 （安藤聡）
- 通讯作者：西田直樹 （安藤聡）
Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用
使用 SAT 求解器进行 Malbolge 低级汇编编程中的控制指令布局设计
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：安藤聡;酒井正彦;坂部俊樹;草刈圭一朗;西田直樹 （安藤聡）
- 通讯作者：西田直樹 （安藤聡）
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
SAKAI Masahiko其他文献
みる きく しらべる かく かんがえる-対話としての質的研究
看、听、调查、写作、思考——作为对话的定性研究
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
ISHIDANaoki;SAKAI Masahiko;伊藤哲司 - 通讯作者：
伊藤哲司
Determinization of Conditional Term Rewriting Systems for Program Generation
程序生成条件项重写系统的确定
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
NAGASHIMA Masanori;SAKAI Masahiko;SAKABE Toshiki - 通讯作者：
SAKABE Toshiki
行と列の生成による線形計画ブースティング
通过行和列生成增强线性编程
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
KOJIMA Yoshiharu;SAKAI Masahiko;NISHIDA Naoki;KUSAKARI Keiichirou;SAKABE Toshiki;畑埜晃平 - 通讯作者：
畑埜晃平
Manufacturing process of Japanese "Hatakanagu" flag ornament
日本“Hatakanagu”旗饰的制作过程
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
UCHIYAMA Keita;SAKAI Masahiko;SAKABE Toshiki;KUSAKARI Keiichirou;ISHIDA Naoki;Masashi Kume - 通讯作者：
Masashi Kume
Context-Sensitive Innermost Reduction of Linear Right-Shallow Term Rewriting Systems Effectively Preserves Regularity
线性右浅项重写系统的上下文敏感内层约简有效保持了正则性
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
KOJIMA Yoshiharu;SAKAI Masahiko;NISHIDA Naoki;KUSAKARI Keiichirou;SAKABE Toshiki - 通讯作者：
SAKABE Toshiki
SAKAI Masahiko的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('SAKAI Masahiko', 18)}}的其他基金
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
函数式程序分析、验证和高效执行的重写理论研究
- 批准号：
18500011 - 财政年份：2006
- 资助金额：
$ 1.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
函数式程序分析、验证和高效执行的重写理论研究
- 批准号：
15500007 - 财政年份：2003
- 资助金额：
$ 1.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Fundamental research on software verification based on algebraic method
基于代数方法的软件验证基础研究
- 批准号：
07680350 - 财政年份：1995
- 资助金额：
$ 1.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
在留外国人の言語障壁による医療アクセス困難と健康格差、問題解決の取組に関する研究
外籍居民因语言障碍导致的就医困难和健康差异的研究及解决问题
- 批准号：
24KJ1981 - 财政年份：2024
- 资助金额：
$ 1.55万 - 项目类别：
Grant-in-Aid for JSPS Fellows
言語化困難な切除適応と治療結果のAI解析に基づく進行大腸癌肝転移の切除適応標準化
基于难以语言表达的切除指征和治疗结果的AI分析，标准化晚期结直肠癌肝转移切除指征
- 批准号：
22K18222 - 财政年份：2022
- 资助金额：
$ 1.55万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Exploring Second Language Listening Comprehension: Using a Cognitive Process Framework
探索第二语言听力理解：使用认知过程框架
- 批准号：
21K19994 - 财政年份：2021
- 资助金额：
$ 1.55万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
Propose rephrasing and explanation of difficult infectious disease-related terms and verify the effect of promoting understanding
对疑难传染病相关术语提出改写和解释，并验证促进理解的效果
- 批准号：
21K00551 - 财政年份：2021
- 资助金额：
$ 1.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Developing an Index to Measure of Text Coherence Using Natural Language Processing and Its Application to Prediction of Reading Test Difficulty
利用自然语言处理开发文本连贯性测量指标及其在阅读测试难度预测中的应用
- 批准号：
20K00901 - 财政年份：2020
- 资助金额：
$ 1.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)