坂部 俊樹 | 名古屋大学大学院 情報科学研究科
スポンサーリンク
概要
関連著者
-
坂部 俊樹
名古屋大学大学院 情報科学研究科
-
坂部 俊樹
名古屋大学大学院情報科学研究科
-
酒井 正彦
名古屋大学
-
西田 直樹
名古屋大学大学院 情報科学研究科
-
草刈 圭一朗
名古屋大学 大学院情報科学研究科
-
西田 直樹
名古屋大学大学院情報科学研究科
-
酒井 正彦
名古屋大学大学院情報科学研究科
-
草刈 圭一朗
名古屋大学大学院情報科学研究科
-
坂部 俊樹
名古屋大学 大学院情報科学研究科
-
西田 直樹
名古屋大学 大学院情報科学研究科
-
稲垣 康善
名古屋大学
-
坂田 翼
名古屋大学大学院情報科学研究科
-
山本 晋一郎
愛知県立大学情報科学部
-
山本 晋一郎
愛知県立大学
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
結縁 祥治
名古屋大学 情報科学研究科
-
大久保 弘崇
愛知県立大学情報科学部
-
稲垣 康善
名古屋大学大学院工学研究科計算理工学専攻
-
大久保弘崇
愛知県立大学
-
大久保 弘崇
名古屋大学情報工学科
-
大久保 弘崇
愛知県立大学
-
稲垣 康善
豊橋技術科学大学
-
鈴木 英一
名古屋大学
-
稲垣 康善
愛知県立大学情報科学部
-
平手 孝
名古屋大学大学院工学研究科情報工学専攻
-
櫻井 敬大
名古屋大学大学院情報科学研究科
-
安藤 聡
名古屋大学大学院工学研究科マイクロ・ナノシステム工学専攻
-
安藤 聡
名古屋大学大学院情報科学研究科
-
坂井 利光
名古屋大学工学部電気電子・情報工学科
-
大井 一展
名古屋大学大学院情報科学研究科
-
尾関 朗
名古屋大学大学院情報科学研究科
-
大久保 弘崇
愛知県立大学大学院情報科学研究科
-
坂井 利光
名古屋大学 工学部電 気電子・情報工学科
-
桑原 寛明
立命館大学情報理工学部
-
河口 信夫
名古屋大学
-
馬野 洋平
名古屋大学大学院情報科学研究科
-
黒川 翔
(株)デンソー
-
磯谷 泰巨
名古屋大学大学院情報科学研究科
-
馬野 洋平
名古屋大学大学院情報科学研究科:(現)日立ソフトウェアエンジニアリング
-
古市 祐樹
名古屋大学大学院情報科学研究科
-
長島 正憲
名古屋大学大学院情報科学研究科
-
鈴木 英一
名古屋大学大学院情報科学研究科
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
草刈 圭一郎
名古屋大学大学院情報科学研究科
-
三浦 浩一
名古屋大学大学院情報科学研究科
-
桑原 寛明
名古屋大学大学院情報科学研究科
-
洪 順姫
名古屋大学大学院 工学研究科
-
二井 靖彦
名古屋大学工学研究科情報工学専攻
-
黒川 翔
デンソー
-
黒川 翔
名古屋大学大学院情報科学研究科
-
河口 信夫
名古屋大 大学院工学研究科
-
カサブランカ ファビオ
名古屋大学工学部情報工学科
-
篠原 加奈子
名古屋大学工学部情報工学科
-
堀江 美保子
名古屋大学工学研究科
-
草刈 圭一朗
名古屋大学大学院 情報科学研究科
-
丹羽 南
名古屋大学大学院情報科学研究科
-
伏見 政晃
名古屋大学大学院情報科学研究科
-
加藤 起騎
名古屋大学大学院情報科学研究科
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
山里 敬也
名古屋大学
-
直井 徹
名古屋大学工学部
-
山本 友和
名古屋大学大学院工学研究科
-
高田 広章
名古屋大学
-
鵜飼 謙児
名古屋大学大学院情報科学研究科
-
倉地 亮
名古屋大学大学院情報科学研究科
-
竹内 義則
名古屋大学情報連携統括本部情報戦略室
-
内山 敬太
名古屋大学大学院情報科学研究科
-
山田 晃久
名古屋大学大学院情報科学研究科
-
水谷 知博
名古屋大学大学院情報科学研究科
-
村田 俊樹
名古屋大学大学院情報科学研究科
-
草丸 圭一朗
名古屋大学大学院情報科学研究科
-
長谷川 明生
中京大学生命システム工学部
-
山本 栄二
名古屋大学工学部情報工学科
-
高田 広章
豊橋技科大
-
奥谷 大介
岡山赤十字病院外科
-
山里 敬也
名大・教養教育院
-
山里 敬也
名大エコトピア科学研究所
-
田代 善彦
名古屋大学大学院情報科学研究科
-
長谷川 明生
中京大学
-
長谷川 明生
名古屋大学情報連携基盤センター
-
鈴木 剛
名古屋大学大学院
-
服部 達哉
名古屋大学大学院医学系研究科機能構築医学専攻運動・形態外科学手の外科学
-
大野 健治
名古屋大学大学院 工学研究科 情報工学専攻
-
Hiroaki Takada
Nagoya University
-
竹内 義則
名古屋大学情報セキュリティ対策推進室
-
山口 由紀子
名古屋大学情報連携基盤センター
-
木川 泰夫
名古屋大学大学院工学研究科
-
倉地 亮
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
鈴木 翔
名古屋大学大学院情報科学研究科
-
御宿 義勝
名古屋大学大学院情報科学研究科
-
鈴木 剛
名古屋大学大学院工学研究科
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター|名古屋大学大学院情報科学研究科情報システム学専攻
-
Takada Hiroaki
Nagoya Univ.
-
高田 宏章
豊橋技術科学大学情報工学系
-
河口 信夫
名古屋大学情報連携基盤センター
-
河口 信夫
名古屋大学工学研究科
-
河口 信夫
名古屋大学大型計算機センター
-
山口 由紀子
名古屋大学大型計算機センター
-
長坂 哲
名古屋大学大学院情報科学研究科
-
山本 晋一郎
愛知県立大学大学
-
山里 敬也
名古屋大学教養教育院
-
高田 広
東京大学理学部
-
馬場 達也
名古屋大学大学院情報科学研究科
-
蒲田 順
名古屋大学工学部
-
草刈 圭一郎
名大名古屋大学大学院情報科学研究科
-
宮下 大
名古屋大学工学研究科情報工学専攻
-
岩田 篤史
名古屋大学大学院情報科学研究科
-
水野 健一
名古屋大学工学部
-
高田 広章
名古屋大 大学院情報科学研究科 組込みシステム研究セ
-
高田 広章
東大・理
-
鈴木 剛
名古屋大学
-
蒲田 明憲
名古屋大学大学院情報科学研究科
-
西村 徹
名古屋大学大学院工学研究科情報工学専攻
-
高須 洋平
名古屋大学工学研究科
-
高田 広章
Nagoya University
-
加納 康資
名古屋大学大学院工学研究科
-
山里 敬也
名古屋大学工学研究科
-
稲垣 康書
名古屋大学工学部
-
渡辺 啓嗣
名古屋大学大学院 工学研究科 情報工学専攻
-
服部 達哉
名古屋大学大学院情報科学研究科
-
洪 順姫
名古屋大学大学院工学研究科情報工学専攻
-
倉橋 克尚
名古屋大学大学院情報科学研究科
-
野村 太志
名古屋大学工学部電気電子・情報工学科
-
北 英彦
名古屋大学工学部
-
馮 速
名古屋大学
-
奥谷 大介
沖電気工業株式会社研究開発センタ
-
奥谷 大介
名古屋大学大学院情報科学研究科
-
佐伯 昌樹
名古屋大学大学院情報科学研究科
-
伊園 基宏
名古屋大学
-
岡本 晃治
名古屋大学情報科学研究科
-
日野 善信
名古屋大学大学院情報科学研究科
-
早野 孝彦
名古屋大学工学部
-
飯澤 恒
名古屋大学大学院情報科学研究科
-
長谷川 明生
中京大学情報理工学部
-
桑原 寛明
立命館大学
-
安井 教郎
富士通名古屋通信システム株式会社
-
蛸島 洋明
名古屋大学情報科学研究科
-
村田 龍彦
名古屋大学情報科学研究科
-
竹内 義則
名古屋大学 情報セキュリティ対策推進室
-
酒井 正彦
名古屋大学大学院 情報科学研究科
-
飯澤 恒
名古屋大学大学院 情報科学研究科
-
中野 靖大
名古屋大学大学院情報科学研究科
著作論文
- 基本対称関数に基づく節をもつCNF論理式の充足可能性判定(計算論,計算モデル)
- ビットエラー通信路におけるスケーラブルCANの動作解析
- シャローな依存対から構成される項書換え系の停止性の決定可能性
- 基本対称関数を付加したCNF論理式の充足可能性判定
- 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序
- プレスブルガー文付き項書換え系における書換え帰納法について
- 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム(ディペンダブルコンピューティング)
- 動的型言語への柔らかい型付けによるエラー検出
- 対話型埋込みによる数独問題の設計ツール
- 導出木からのループ検出による論理プログラムの非停止性証明法
- 左線形な定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン
- 二階の書換え系における引数切り落とし法
- 通信プロセスに対する文脈変換手法を用いたモデル検査
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ(並列・分散)
- 診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ
- 制約付き項書換え系の潜在帰納法を利用した手続き型プログラム検証の試み
- 高階書換え系における引数切り落とし法と実効規則
- 難解言語Malbolgeのチューリング完全性について
- 名古屋大学情報セキュリティ対策推進室の活動
- 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について
- 条件付き等式の変換に基づくプログラム生成
- 制約付き項書換え系における書換え帰納法
- プレスブルガー文付き項書換え系における書換え帰納法について
- 非完全な仕様における振舞等価性の自動証明法
- 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証
- 単純型項書換え系における定理自動証明系HOPSYS
- 項書換え系の拡張された階層的結合における停止性のモジェラー性
- 例外処理付きオブジェクト指向言語における情報流の安全性解析
- 例外処理付きオブジェクト指向言語における情報流の安全性解析
- 形式的手法に基づくJavaScriptプログラムの型検査系の実現
- 等式理論を法とするDPLL遷移系について
- モデル生成法に基づくJavaScriptプログラム型検査の機械実行(ソフトウェア,フォーマルアプローチ論文)
- モデル生成に基づくJavaScriptプログラムの型検査系
- モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド
- オブジェクト指向プログラムに対するMessage Not Understood フォールト検知のための型検査アルゴリズム
- 項書き換え系のための並列計算機アーキテクチャ
- 項正規表現に基づくSpi計算の機密性検証
- 等式付き書換え系の等式数を削減する変換
- ナローイング計算の停止性証明のための依存グラフ法
- 意味マッチングと単一化に基づくパターン駆動並行リダクションモデル
- 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け(基礎理論,フォーマルアプローチ論文)
- 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
- LA-001 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法(A分野:モデル・アルゴリズム・プログラミング)
- 強計算性に基づいた単純型項書換え系の停止性証明法
- 静的依存対法による高階書換え系の停止性証明
- 強計算依存対法による高階書換え系の停止性証明
- 優先順序付き項書換え系の頭必須戦略の決定可能性
- 配列を扱う非線形先頭再帰プログラムからの再帰除去 (計算機科学基礎理論とその応用)
- 重なりを持つTRSにおける最外戦略の完全性について
- 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について
- 制約付き木オートマトンとその閉包性
- II_n型条件付き書換え系の合流性について
- メタ項書換え計算における規則中に規則を含む直交メタ項の合流性
- 有限なロケーションを持つ並行プロセス
- 有限なロケーションを持つ並行プロセス
- 代数的仕様における振舞等価性証明のための線形文脈帰納法について (計算モデルとアルゴリズム)
- 代数的仕様の実現検証のための線形文脈帰納法について
- 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
- 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
- 左辺が一致するオーバレイ性を持つ左線形TRSの正規化戦略 (計算機科学基礎理論の新展開)
- 潜在帰納法による弱完全振舞仕様に対する振舞等価性の自動証明
- 被覆集合帰納法と代数的仕様の検証の機械的支援に関する考察
- プログラミング言語PL/0の代数的仕様記述(計算機科学の基礎理論とその応用)
- 依存対に基づく高階項書換え系の停止性証明
- 実時間通信プロセスの述語的仕様記述に対する検証法(並列・分散)
- 実時間通信プロセスの述語的仕様記述に対する検証法(並列・分散)
- 順序ソートの自動推論とラベル付けに基づく合流性判定への応用 (計算モデルとアルゴリズム)
- DTRCに基づくTRS等価性の証明法の健全性
- 再帰型をもつオブジェクト指向計算モデルにおける例外処理の型付 (計算機科学基礎理論の新展開)
- オブジェクト指向計算モデルにおける例外処理機能の型付
- 分散JoinJAVAプログラムの通信エラーに対する型判定システム
- 2リテラル監視法で実装されたSATソルバへの基本対称節処理機能の組み込み
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- 弱最内戦略を完全にする項書換え系の等価変換 (計算機科学基礎理論とその応用)
- 難読プログラミング言語Malbolgeにおけるプログラム構成手法
- 変換と部分評価に基づく非左辺正規なメタ項の停止性証明 (計算機科学基礎理論とその応用)
- 項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係 (計算機科学基礎理論とその応用)
- 融合変換を模倣するプログラム生成変換の戦略
- 限量子付き等式理論の変換に基づく仕様からのプログラム生成
- オブジェクト指向言語におけるクラス代入と型に関する考察
- 直交メタ項書換え計算のデベロップメントと合流性
- 三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング
- 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて
- 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて
- 関数呼び出しを持つプログラムの非線形ループ不変式の自動生成
- 関数呼び出しを持つプログラムの非線形ループ不変式の自動生成
- 高階書換え系における引数切り落とし関数の下での実効規則について
- 高階書換え系における引数切り落とし関数の下での実効規則について
- 単純型付き項書換え系における書換え帰納法について
- 単純型付き項書換え系における書換え帰納法について
- 組み込みシステム記述のためのLOTOSの拡張とその実行環境について
- 高階書換え系における引数切り落とし関数の下での実効規則について
- 単純型付き項書換え系における書換え帰納法について
- 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて
- 関数呼び出しを持つプログラムの非線形ループ不変式の自動生成
- 高階書換え系における引数切り落とし関数の下での実効規則について
- 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて
- Malbolgeの高級アセンブリ言語への配列機能の追加
- 単純型付き項書換え系における書換え帰納法について
- 関数呼び出しを持つプログラムの非線形ループ不変式の自動生成
- On Extending Matching Operation in Grammar Programs for Program Inversion
- On Extending Matching Operation in Grammar Programs for Program Inversion
- 三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング(プログラミングと数理モデル,ソフトウェアサイエンス、理論)
- 整数解を導出するための単体法とゴモリーカットの合成について
- 整数解を導出するための単体法とゴモリーカットの合成について
- Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用(アルゴリズムと言語処理系)
- 制約付き項のインスタンスを受理する制約付き木オートマトンの構成法(論理と形式手法)
- Malbolgeのワード長の拡大とそのプログラミング支援ツール
- Malbolgeのワード長の拡大とそのプログラミング支援ツール