ログイン
新規登録
小
中
大
ENGLISH
使い方
文献、特許、研究者などの科学技術情報サイト
詳細検索
すべて
すべて
研究者
文献
特許
研究課題
機関
科学技術用語
化学物質
資料
研究資源
同義語を見る
(0)
専門用語を詳しく探す
シソーラスmap
クリップ
ー
MyJ-GLOBAL
にログインしてご利用ください。
はじめての方はアカウント登録をお願いします。
MyJ-GLOBAL とは?
ログイン
新規登録
クリップ数の上限を超えました (最大クリップ数: 600)
閉じる
閉じる
検索
リセット
「検索方法」ページへ
詳細検索:
すべて
研究者
文献
特許
研究課題
機関
科学技術用語
化学物質
資料
研究資源
を探す
詳細検索を行う基本情報を選んでください
フリーワード
同義語を見る(0)
全て選択
全て外す
※以下の同義語を加えると、ヒット件数を増やすことができます。
and
not
氏名
所属機関名
職名
所属学会
研究分野
研究キーワード
更新日
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
氏名
所属機関名
職名
所属学会
研究分野
研究キーワード
更新日
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
タイトル
著者名
JGPN(名寄せID)
機関名
JGON(名寄せID)
発行年
資料名
発行国
言語
全文アクセス
DOI
ISSN/ISBN/CODEN
JST資料番号
外部リンク
被引用文献の有無
被引用特許の有無
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
タイトル
著者名
JGPN(名寄せID)
機関名
JGON(名寄せID)
発行年
資料名
発行国
言語
全文アクセス
DOI
ISSN/ISBN/CODEN
JST資料番号
外部リンク
被引用文献の有無
被引用特許の有無
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
タイトル
著者名
JGPN(名寄せID)
機関名
JGON(名寄せID)
発行年
資料名
発行国
言語
全文アクセス
DOI
ISSN/ISBN/CODEN
JST資料番号
外部リンク
被引用文献の有無
被引用特許の有無
J-GLOBAL ID
~
フィールド内で語句を追加
(ORのみ)
and
not
発明の名称
発明者
JGPN(名寄せID)
出願人/特許権者
JGON(名寄せID)
公報種別
出願番号
公開番号
出願年
公開年
概要
IPC
FI
Fターム
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
発明の名称
発明者
JGPN(名寄せID)
出願人/特許権者
JGON(名寄せID)
公報種別
出願番号
公開番号
出願年
公開年
概要
IPC
FI
Fターム
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
発明の名称
発明者
JGPN(名寄せID)
出願人/特許権者
JGON(名寄せID)
公報種別
出願番号
公開番号
出願年
公開年
概要
IPC
FI
Fターム
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
課題名
実施研究者名
JGPN(名寄せID)
実施機関
JGON(名寄せID)
研究制度
研究概要
開始年度
終了年度
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
課題名
実施研究者名
JGPN(名寄せID)
実施機関
JGON(名寄せID)
研究制度
研究概要
開始年度
終了年度
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
課題名
実施研究者名
JGPN(名寄せID)
実施機関
JGON(名寄せID)
研究制度
研究概要
開始年度
終了年度
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
機関名
所在地
研究分野
証券コード
有価証券報告書ナンバー
事業概要
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
用語名
出典
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
化学物質名
分子式
分子量(範囲指定)
日化辞番号
CAS番号
法規制番号
用途語
InChI
InChIkey
SMILES
KEGG Drug/KEGG COMPOUND
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
化学物質名
分子式
分子量(範囲指定)
日化辞番号
CAS番号
法規制番号
用途語
InChI
InChIkey
SMILES
KEGG Drug/KEGG COMPOUND
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
資料名
ISSN/ISBN/CODEN
JST資料番号
JST分類
出版社/団体名
会議名
発行国
資料内容種別
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
資料名
ISSN/ISBN/CODEN
JST資料番号
JST分類
出版社/団体名
会議名
発行国
資料内容種別
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
研究資源名
機関
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
構造検索
構造検索の利用方法
NEW
R
FG
i
C
N
O
S
F
Cl
Br
I
P
X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
構造ファイル取込
ファイルを選択
MOLfileがご利用頂けます。 (V3000形式はご利用頂けません)
完全一致検索
部分構造検索 (substructure)
部分構造検索 (superstructure)
部分構造検索 (sub, super)
類似構造検索
閉じる
検索
研究者
J-GLOBAL ID:201101048411079260
更新日: 2024年12月18日
荒堀 喜貴
アラホリ ヨシタカ | Arahori Yoshitaka
研究分野 (1件):
ソフトウェア
研究キーワード (6件):
バグ検出
, プログラム解析
, システムソフトウェア
, bug finding
, program analysis
, system software
競争的資金等の研究課題 (1件):
2011 - プログラムの動的解析の高度化
MISC (12件):
Backwards-Compatible, Efficient and Precise Datarace Detection for Multi-Threaded C Programs. 情報処理学会. 2012. S4-1
誤解放を防ぐための新しい型修飾子 strict_lifetime. 電子情報通信学会論文誌. 2012. J95-D. 2. 217-224
荒堀 喜貴, 権藤 克彦, 前島 英雄. 競合回避機構を備えた高互換かつ高精度な境界検査手法. 情報処理学会論文誌. 2012. 53. 3. 1150-1165
ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と,水平スライスが可能な可視化ツール(MieruCompiler). 電子情報通信学会論文誌. 2012. J95-D. 5. 1225-1241
Backwards-Compatible, Efficient and Precise Datarace Detection for Multi-Threaded C Programs. 2012
もっと見る
学歴 (2件):
- 2010 東京工業大学
- 2010 東京工業大学
経歴 (1件):
電気通信大学 大学院情報システム学研究科 情報システム基盤学専攻 助教
受賞 (3件):
2011 - 平成22年度情報処理学会論文賞
2009 - IEEE DASC2009 Best Paper Award
2009 - IEEE DASC2009 Best Paper Award
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM