検索結果 4 件

青木 崚, 田中 泰爾, 堀本 康文, 朴 炫珍, 田坂 裕司, 村井 祐一 流体工学部門講演会講演論文集 2021 (0), OS05-13-, 2021

<p>Performance of bubbly drag reduction (BDR) can be improved by repetitive bubble injection (RBI) which provides spatiotemporal fluctuation of local void fraction, termed void waves, to enhance …

DOI Web Site

青木 崚, 朴 炫珍, 田坂 裕司, 村井 祐一 流体工学部門講演会講演論文集 2020 (0), OS05-09-, 2020

<p>Bubble drag reduction (BDR) is expected as a solution to ship energy saving. However, it has a problem that the combination of bubbles at aft disturbs the drag reduction. This study aims to …

DOI Web Site

青木 崚, 横山 哲郎 電子情報通信学会論文誌D 情報・システム J101-D (9), 1372-1375, 2018-09-01

任意の可逆プログラミング言語のプログラムで計算できるものが，可逆なR-WHILEプログラムによって計算できることを示す．

DOI

青木, 崚, 柴田, 心太郎, 横山, 哲郎 第79回全国大会講演論文集 2017 (1), 309-310, 2017-03-16

可逆プログラミング言語RWHILEの計算モデルは、万能可逆チューリング機械と同じ計算能力があるとされている。しかし、筆者の知る限りにおいて、その具体的な証明についてはこれまで報告が無かった。本稿では任意の可逆チューリング機械を、意味が同じRWHILEプログラムに変換できることを示す。このことにより、万能可逆チューリング機械のRWHILEプログラムが構成できることを示す。

情報処理学会