Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
正彦 酒井
Observed names:
M Sakai,
Masahiko Sakai,
酒井 正彦,
酒井, 正彦,
酒井正彦
Observed institutions:
Kyoto University,
Nagoya University
ORCID:
0000-0002-6234-0161
Observed ORCID:
0000-0002-6234-0161
OpenAlex ID:
A5026322642
[Central signals of gallstones in magnetic resonance imaging].
1986
·
F Moriyasu
, N Ban
, et al.
·
PubMed
·
7
Development of an Original Hood Attached to a Snare-guide Tube for Endoscopic Aspiration Mucosectomy
1995
·
惠雄 鳥居
, 正彦 酒井
, et al.
·
Acta gastro-enterologica belgica
·
3
[Contrast effects of glucagon and effervescent granules on gastrointestinal MRI (magnetic resonance imaging)].
1986
·
F Moriyasu
, N Ban
, et al.
·
PubMed
·
1
特集「ai とどう付き合っていますか」 : 酒井正彦先生の場合
2024
·
酒井, 正彦
·
Institutional Repositories DataBase (IRDB)
PDF
Midiからの自動採譜 : リズム木とトークンによるリズム解析
2023
·
酒井, 正彦
·
Institutional Repositories DataBase (IRDB)
PDF
命題論理式の全ての投射モデルを表現するbddの構成法 (特集 「人工知能技術の最新動向」および一般)
2021
·
孝明 磯貝
, 健二 橋本
, et al.
·
人工知能基本問題研究会
Pdfスライドに音声をつけて公開するためのwebアプリを作りました
2020
·
酒井, 正彦
·
Institutional Repositories DataBase (IRDB)
PDF
Dpll型モデル計数ソルバの投射モデル計数への拡張 (特集 「命題論理の充足可能性問題satと応用技術」および一般)
2015
·
涼介 鈴木
, 健二 橋本
, et al.
·
人工知能基本問題研究会
Malbolge低級アセンブラにおけるコード配置アドレスの決定法(形式手法・言語)
2014
·
起騎 加藤
, 正彦 酒井
, et al.
·
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
例外処理を含む関数型プログラム停止性証明のための条件付き依存対法
2013
·
濱口, 毅
, 酒井, 正彦
, et al.
·
Institutional Repositories DataBase (IRDB)
制約付き項のインスタンスを受理する制約付き木オートマトンの構成法
2013
·
中野, 靖大
, 西田, 直樹
, et al.
·
Institutional Repositories DataBase (IRDB)
三値関数を実現する Malbolge 命令列の発見のためのSATエンコーディング
2012
·
聡 安藤
, 正彦 酒井
, et al.
·
Institutional Repositories DataBase (IRDB)
A SAT Encoding for Finding Operation Sequences of Malbolge that Implement Trit-wise Functions
2012
·
Ando Satoshi
, Masahiko Sakai
, et al.
·
IEICE Technical Report; IEICE Tech. Rep.
On Extending Matching Operation in Grammar Programs for Program Inversion (ソフトウェアサイエンス)
2012
·
南 丹羽
, 直樹 西田
, et al.
·
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
On Extending Matching Operation in Grammar Programs for Program Inversion
2012
·
南 丹羽
, 直樹 西田
, et al.
·
Institutional Repositories DataBase (IRDB)
オートマトン・形式言語特論
2012
·
酒井, 正彦
·
Institutional Repositories DataBase (IRDB)
PDF
Untitled
2012
·
馬野 洋平
, 酒井 正彦
, et al.
·
IEICE INFORMATION AND SYSTEMS SOCIETY JOURNAL
PDF
高階書換え系における引数切り落とし関数の下での実効規則について
2012
·
大井, 一展
, 草刈, 圭一朗
, et al.
·
Institutional Repositories DataBase (IRDB)
関数呼び出しを持つプログラムの非線形ループ不変式の自動生成
2012
·
鈴木, 英一
, 坂部, 俊樹
, et al.
·
Institutional Repositories DataBase (IRDB)
Verification of Equivalence between Functions in Constrained Term Rewriting Systems via Tree Homomorphisms
2011
·
一也 高桑
, 直樹 西田
, et al.
例外処理を持つ関数型プログラムの停止性・非停止性証明法
2011
·
濱口, 毅
, 酒井, 正彦
, et al.
·
Institutional Repositories DataBase (IRDB)
制約付き木オートマトンとその閉包性
2011
·
倉橋, 克尚
, 酒井, 正彦
, et al.
·
Institutional Repositories DataBase (IRDB)
Untitled
2011
·
馬野 洋平
, 酒井 正彦
, et al.
·
IEICE INFORMATION AND SYSTEMS SOCIETY JOURNAL
PDF
基本対称関数に基づく節をもつcnf論理式の充足可能性判定(計算論,計算モデル)
2010
·
洋平 馬野
, 正彦 酒井
, et al.
·
Institutional Repositories DataBase (IRDB)
PDF
制約付き項書換え系の書換え帰納法における補題等式の自動生成法
2009
·
中林, 直生
, 西田, 直樹
, et al.
·
Institutional Repositories DataBase (IRDB)
PDF
Show more works
View as search
Works count:
79
Citation count:
11
H-index:
2
I10-index:
Year
Topic
Type
