693544
1585141
%E6%9D%89%E5%B1%B1%E8%A3%95%E4%BA%8C
%E6%9D%89%E5%B1%B1%E8%A3%95%E4%BA%8C
%E6%9D%89%E5%B1%B1%E8%A3%95%E4%BA%8C
%E6%9D%89%E5%B1%B1%E8%A3%95%E4%BA%8C
%E6%9D%89%E5%B1%B1%E8%A3%95%E4%BA%8C
0
|
他の画像検索結果
他人の画像が選択されている・混じっている場合
画像候補は人物名で顔画像を検索したものです。
人物として適切でない画像も含まれてしまう可能性があります。
適切な画像になるよう 杉山裕二の画像検索結果ページで修正できます
|
|
ネットワーク
|
タグ
キーワード
|
|
|
|
|
|
|
|
|
|
|
|
|
つながりの強いひと
|
|
大西淳
著者プロフィール 大西 淳 （オオニシ アツシ） 経済学博士，日本証券アナリスト協会検定会員． 1993年名古屋大学経済学部卒業，同年アイシン精機株式会社入... |
|
|
横平徳美
横平 徳美 YOKOHIRA Tokumi ヨコヒラ トクミ 男性 http://www.net.cne.okayama-u.ac.jp/~yokohira/ コンピュータネットワーク 通信 プロトコル 計算機・ 通信... |
|
|
土井直樹
学園祭の運営や学生団体の活動、岐阜のNPOでのインターンシップに力を注ぐ。2年次は、創業1年目である渋谷のベンチャー企業で1年間求人情報誌の広告営業マン... |
|
|
田中康裕
田中康裕 +水谷元 キャディスと風建築工房 Cadis+kaze architects 〒815-0033 福岡県福岡市南区大橋2-2-1 マルイビル2F http://www.bekkoame.ne.jp/ro/kaz... |
|
|
原田諭
「㈱原田紙店」 の原田諭さんです。 原田さんは、高校卒業後、東京で2年間研修をしたのちに、地元に帰ってきました。父親が経営する会社の3代目を目指しなが... |
|
|
橋本幸
“美しさ”と“機能”を兼ね備えた矯正治療を目指しております。矯正治療は見た目を改善する大切な役割もありますが、歯の本来の咬むという機能を、最大限に発揮... |
|
|
河合雅弘
河合雅弘
Masahiro KAWAI 情報工学科 教授
博士（工学） コンピュータシステム（情報工学科5年）
情報工学実験III（情報工学科3年）
情報工学実験IV（情報工... |
|
|
佐藤洋一郎
日本の総合格闘家。秋田県出身。グレイシー・バッハ東京所属。現修斗環太平洋ミドル級王者。 |
|
|
鳥居宏次
鳥居宏次（とりいこうじ、1938年8月30日-）は国立大学法人・奈良先端科学技術大学院大学特任教授。大阪府東大阪市出身。 |
|
|
工藤英男
工藤英男 更新日: 10/03/19 09:55 研究者氏名 工藤英男 eメール kudoh osaka-seikei.ac.jp URL http://kaken.nii.ac.jp/ja/r/6 所属 大阪成蹊... |
|
|
谷口健一
新入会員紹介（谷口 健一君） 新入会員紹介、3番目は 谷口 健一君 です。谷口君は昭和50年生まれの31歳、加賀市動橋町の㈱ハヤシに勤務されております。委員... |
|
|
小林稔
小林 稔 1955年生まれ。日本大学芸術学部写真学科を卒業後、自動車専門誌「CAR GRAPHIC」の社員カメラマンとして8年勤務。独立後は自動車専門誌や一般誌の新... |
|
|
森川良孝
◆日本学術振興会科学研究費補助金
◆リーダー：森川良孝
◆平成21年度～23年度
公衆網を用いる通信では，認証技術による正規ユーザの特定，不正アクセスの防止... |
|
|
小野正博
院長 小野 正博 院長の小野です。 私は消化器内科が専門ですが、開業以来「プライマリケア」を中心とした診療を頑張る所存です。 近隣には大病院もございます... |
|
|
田中康
田中康升 たなか やすのり 両親が共働きの小学生時代、鍵っ子になった田中少年は本ばかり読んでいたそうだ。やがてそこで得た知識が花開き、吹奏学部、赤十字... |
|
|
嵩忠雄
嵩忠雄（かさみただお、1930年4月12日-2007年3月18日）は日本の情報工学者。符号理論、形式言語理論、計算理論などの分野に貢献した。 |
|
|
関浩之
English 関 浩之（せき ひろゆき） 【現在の研究テーマ】 形式言語理論 弱文脈規定文法と生物系列解析への応用 項書換え系・木オートマトンと XML 文書... |
|
|
東野輝夫
東野 輝夫 (Teruo Higashino)大阪大学 大学院情報科学研究科 情報ネットワーク学専攻 モバイルコンピューティング講座・教授 (兼) 大阪大学 評価室室... |
|
|
中原隆
中原隆 ［ナカハラタカシ］ 昭和12年、長野県松本市に生まれる。昭和34年、専修大学商学部卒業後、松本市にある母校・松商学園商業科教諭として6年間勤務。そ... |
|
|
プロフィール
氏名 杉山 裕二 （スギヤマ ユウジ） SUGIYAMA Yuji 所属専攻講座 自然科学研究科 職名 教授 性別 男性 ホームページ http://www.infsys.cne.okayama-u.ac.jp 研究分野・キーワード （日）形式的設計法，検証法 （英）Formal methods of design and verification このページの先頭へ▲ 出身学校 【 表示 ／ 非表示 】 このページの先頭へ▲ 出身学校 【 表示 ／ 非表示 】 学校名： 大阪大学 学校の種類： 大学 学部名： 基礎工学部 学科名： 情報工学科 卒業年月： 1974年03月 卒業区分： 所在国： 日本国 このページの先頭へ▲ 出身大学院 【 表示 ／ 非表示 】 このページの先頭へ▲ 出身大学院 【 表示 ／ 非表示 】 大学院名： 大阪大学 研究科名： 基礎工学 ... もっと見る
氏名 杉山 裕二 （スギヤマ ユウジ） SUGIYAMA Yuji 所属専攻講座 自然科学研究科 職名 教授 性別 男性 ホームページ http://www.infsys.cne.okayama-u.ac.jp 研究分野・キーワード （日）形式的設計法，検証法 （英）Formal methods of design and verification このページの先頭へ▲ 出身学校 【 表示 ／ 非表示 】 このページの先頭へ▲ 出身学校 【 表示 ／ 非表示 】 学校名： 大阪大学 学校の種類： 大学 学部名： 基礎工学部 学科名： 情報工学科 卒業年月： 1974年03月 卒業区分： 所在国： 日本国 このページの先頭へ▲ 出身大学院 【 表示 ／ 非表示 】 このページの先頭へ▲ 出身大学院 【 表示 ／ 非表示 】 大学院名： 大阪大学 研究科名： 基礎工学研究科 専攻名： 物理系 修了課程： 修士課程 修了年月： 1976年03月 修了区分： 所在国： 日本国 このページの先頭へ▲ 取得学位 【 表示 ／ 非表示 】 このページの先頭へ▲ 取得学位 【 表示 ／ 非表示 】 学位名： 工学博士 学位の分野名： 学位授与機関名： 取得方法： 論文 取得年月： このページの先頭へ▲ 学内職務経歴 【 表示 ／ 非表示 】 このページの先頭へ▲ 学内職務経歴 【 表示 ／ 非表示 】 職務遂行組織： 自然科学研究科 経歴名： 教授（Professor） 職務期間： 2004年04月～ 継続中 このページの先頭へ▲ 所属学会・委員会 【 表示 ／ 非表示 】 このページの先頭へ▲ 所属学会・委員会 【 表示 ／ 非表示 】 電子情報通信学会 ／ 日本国() 情報処理学会 ／ 日本国() このページの先頭へ▲ 専門分野（科研費分類） 【 表示 ／ 非表示 】 このページの先頭へ▲ 専門分野（科研費分類） 【 表示 ／ 非表示 】 情報学基礎（Fundamental informatics） このページの先頭へ▲ 研究経歴 【 表示 ／ 非表示 】 このページの先頭へ▲ 研究経歴 【 表示 ／ 非表示 】 研究課題名： ソフトウェア開発の形式的手法（Formal Techniques for Software Development） キーワード： 形式的仕様,代数的言語（Formal Specification,Algebraic specification） 研究態様： 機関内共同研究 研究制度： （選択しない） 研究期間： 専門分野（科研費分類）： 情報学基礎 専門分野（ＲｅａＤ分類）： 研究課題名： ハードウェアの代数的仕様と設計検証（Algebraic Specification and Design Verification of Hardwares） キーワード： 代数的仕様,順序回路,検証（Algebraic Specification,Sequential Circuit,Verification） 研究態様： 機関内共同研究 研究制度： （選択しない） 研究期間： 専門分野（科研費分類）： 情報学基礎 専門分野（ＲｅａＤ分類）： このページの先頭へ▲ 戻る
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|
|
|
|
杉山裕二さんについてのひとこと紹介
|
|
|
|
