研究者詳細 - 西田　直樹

講演・口頭発表等 - 西田　直樹

分割表示 49 件中 1 - 20 件目／全件表示 >>

論理制約付き項書き換えシステムにおける制約付き最汎書き換え国際共著

高畑幹汰，Jonas Schöpf，西田直樹，青戸等人

第27回プログラミングおよびプログラミング言語ワークショップ（PPL 2025） 2025年3月日本ソフトウェア科学会プログラミング論研究会

All-Path Reachability for Starvation Freedom Under Process Fairness

Naoki Nishida

the 60th TRS Meeting 2024年10月7日

A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-Path Reachability Problems with Constant Destinations

Misaki Kojima and Naoki Nishida

th 146th Workshop on IPSJ Special Interest Group on Programming 2023年10月31日 IPSJ Special Interest Group on Programming

On Constrained Narrowing of Logically Constrained Term Rewrite Systems

Naoki Nishida

the 59th TRS Meeting 2023年9月28日

Unravelings and Narrowing Trees Towards Confluence of Deterministic CTRSs 招待有り国際会議

Naoki Nishida

12th International Workshop on Confluence 2023年8月23日 Cyrille Chenavier and Sarah Winkler

On Transforming Imperative Programs into LCTRSs via Injective Functions from Configurations to Terms

Naoki Nishida

the 57th TRS Meeting 2022年9月28日

Inversion and Determinization in Term Rewriting 招待有り国際会議

Naoki Nishida

the meeting of IFIP Working Group 1.6: Rewriting 2022年7月31日 IFIP Working Group 1.6: Rewriting

開催年月日： 2022年7月

記述言語：英語会議種別：口頭発表（一般）

開催地：Haifa, Israel 国名：イスラエル国

As a transformational approach, inversion is formulated in several settings, and the basic ideas are naive and similar. To generate a better form, e.g., non-overlapping systems if possible, determinization is used as a post-process of inversion for injective functions, and is the most challenging part in developing an inversion framework. In this talk, I introduce a framework of inversion and determinization in term rewriting. First, I explain a direct inversion of deterministic CTRSs, and a direct MSV-based determinization. Next, I explain the framework proposed by Gluck and Kawabe, which uses context-free grammars as intermediate representations of CTRSs. Finally, I explain a framework based on context-free expressions.

On Semantically Equivalent Operations for Inversion of DCTRSs

Naoki Nishida

the 56th TRS Meeting 2022年2月24日

On Improving Confluence and Infeasibility Proofs in CO3

Naoki Nishida

the 55th TRS Meeting 2021年9月29日

Transformation of Concurrent Programs with Semaphores into LCTRSs

Naoki Nishida

the 54th TRS Meeting 2021年3月16日

Proving Infeasibility by Basic Narrowing

Naoki Nishida

the 50th TRS Meeting

Proving Infeasibility by Narrowing Trees

Naoki Nishida

the 49th TRS Meeting

組合せ最適化問題を記述するための関係代数の集合上への拡張

坂梨元軌，酒井正彦，西田直樹，橋本健二

第20回プログラミングおよびプログラミング言語ワークショップ

開催年月日： 2018年3月

記述言語：日本語会議種別：ポスター発表

開催地：皆生グランドホテル天水国名：日本国

組合せ最適化問題は様々な分野に応用できるが，効率良く解くためには専門知識を必要とするという問題がある．本研究では，組合せ最適化問題を簡潔に記述できなおかつ効率的に解くことができるシステムの構築を目指して，理論的な枠組として関係の集合上に拡張した関係代数を提案し，それに基づく拡張SQL構文とその汎用ソルバによる解法を議論する．

配列を含むC言語サブセットから難解言語Malbolgeへのコンパイラ

岩金カナン，坂梨元軌，酒井正彦，西田直樹，橋本健二

第20回プログラミングおよびプログラミング言語ワークショップ

開催年月日： 2018年3月

記述言語：日本語会議種別：ポスター発表

開催地：皆生グランドホテル天水国名：日本国

難解プログラミング言語とは意図的に読解が困難になるように設計された言語であり、中でも難解な言語としてMalbolgeがある。現在では低級アセンブリ言語と制御付き疑似命令列を経てC言語に制限を設けた高級言語からのコンパイラが実現されている。しかしこの高級言語では配列を扱うことができず、複雑なプログラムが書けなかった。本研究では配列を含む高級言語を処理してMalbolgeへ変換する手法を実装した。この変換にはメモリの空き領域をスタックとして用いることで実現した。

From Dependency Chains to Bounded Monotone Sequences of Integers

Naoki Nishida

the 47th TRS Meeting

On Proving Infeasibility of Conditional Critical Pairs via Narrowing Trees

Naoki Nishida

the 46th TRS Meeting

Heuristics for Proving Termination of Constrained Rewriting Systems via Rule Duplication 国際会議

Naoki Nishida

4th Austria - Japan Summer Workshop on Term Rewriting

On Uninterpreted Functions in Proving Termination of Constrained Rewriting

Naoki Nishida

the 41st TRS Meeting

On Soundness for Reduction of TRSs Obtained by Condition Elimination for Normal CTRSs

Naoki Nishida

the 40th TRS Meeting

A Finite Representation of the Narrowing Space and its Application 国際会議

Naoki Nishida

COMPUTER SCIENCE COLLOQUIUM, IMADA, University of Southern Denmark

　前のページ - 次のページ　

<西田 直樹>

講演・口頭発表等 - 西田 直樹

<西田　直樹>

講演・口頭発表等 - 西田　直樹