149251
1039856
%E4%BB%8A%E4%BA%95%E5%AE%9C%E6%B4%8B
%E4%BB%8A%E4%BA%95%E5%AE%9C%E6%B4%8B
%E4%BB%8A%E4%BA%95%E5%AE%9C%E6%B4%8B
%E4%BB%8A%E4%BA%95%E5%AE%9C%E6%B4%8B
%E4%BB%8A%E4%BA%95%E5%AE%9C%E6%B4%8B
0
|
他の画像検索結果
他人の画像が選択されている・混じっている場合
画像候補は人物名で顔画像を検索したものです。
人物として適切でない画像も含まれてしまう可能性があります。
適切な画像になるよう 今井宜洋の画像検索結果ページで修正できます
|
|
ネットワーク
|
タグ
キーワード
|
|
|
|
|
|
プロフィール
今井 宜洋 (Yoshihiro Imai) 有限会社ITプランニング システム開発部 有限会社ITプランニング勤務のプログラマ。 証明器の勉強会ProofCafeを主催。 関数型言語や形式手法を使った、高信頼なシステム開発の技術に興味がある。特にプログラムを証明するという手法に可能性を感じ、その応用方法について日々模索している。 「入門OCaml」（毎日コミュニケーションズ）の執筆に参加。 【セッション内容】 形式手法の現在と実開発への適用可能性 形式手法(Formal method)を実業務プロジェクトへ適用することでいかにして高品質なソフトウェア開発を行うか、その事例と注意点についてご紹介いたします。 関数型スタイルで記述したプログラムに対して仕様を検証できる証明支援器Coq、状態マシンを使ったモデル検証を行うSpin、述語論理スタイルで書いたクラス仕様 ... もっと見る
今井 宜洋 (Yoshihiro Imai) 有限会社ITプランニング システム開発部 有限会社ITプランニング勤務のプログラマ。 証明器の勉強会ProofCafeを主催。 関数型言語や形式手法を使った、高信頼なシステム開発の技術に興味がある。特にプログラムを証明するという手法に可能性を感じ、その応用方法について日々模索している。 「入門OCaml」（毎日コミュニケーションズ）の執筆に参加。 【セッション内容】 形式手法の現在と実開発への適用可能性 形式手法(Formal method)を実業務プロジェクトへ適用することでいかにして高品質なソフトウェア開発を行うか、その事例と注意点についてご紹介いたします。 関数型スタイルで記述したプログラムに対して仕様を検証できる証明支援器Coq、状態マシンを使ったモデル検証を行うSpin、述語論理スタイルで書いたクラス仕様の確認を事例生成を通して支援するAlloy、など様々なツールの可能性と実用性を解説いたします。 ≫プログラムページへ 戻る
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|
|
|
|
|
|
|
|
つながりの強いひと
|
|
佐藤伸吾
登録コード 2 氏名 佐藤 伸吾 （サトウ シンゴ） 部門 事業者 性別 男 生年月日 昭和13年 専門分野 環境マネジメント・監査，廃棄物 住所 大阪府大阪狭山市西... |
|
|
庄司嘉織
25歳からプログラミング「泣きながら覚えた」 庄司嘉織さんのエンジニアライフ - 特集：No okyuu, No Life [okyuu.com] 記事本文 : http://okyuu.com/ja/sp... |
|
|
藤井太洋
ソフトの世界にとどまらず楽しい。 講師からのメッセージ LUXORのフォトンマップとパストレーシングが難しいという声をよく聞きます。確かに、設定... |
|
|
竹迫良範
プロフィール (C) 2009 NaokiOHOSHI 氏名：竹迫 良範 所属：サイボウズ・ラボ株式会社 Shibuya.pm 2代目リーダー。オライリーPerlクックブック第2版の監... |
|
|
小林悠
小林悠(こばやし はるか)
誕生日： 1982年1月25日
本名： 小林 悠
改名歴： 1995/10「HEISEI子役・美少女名鑑」p.188|1996/08「Prolog」#8
身長： 161 cm
体... |
|
|
森田創
書籍検索 著書：「 森田創 」の検索結果 - 8 件見つかりました WEB+DB PRESS Vol.55
￥ 1,554
WEB+DB PRESS Vol.50
【編集】WEB+DB PR... |
|
|
浜地慎一郎
発表順 言語 出場者 所属 発表資料 1 Perl 小飼 弾 download 2 Io 浜地 慎一郎 download 3 Clean lethevert download 4 PHP Sei... |
|
|
西尾泰和
著者情報 西尾 泰和 サイボウズ・ラボ株式会社に勤務（本データはこの書籍が刊行された当時に掲載されていたものです） ⇒この著者名で検索する ⇒新刊パト... |
|
|
瀧内元気
瀧内元気（たきうちげんき） 1980年生まれ。2003年に東京工業大学卒業後、レンダリングソフトウェア開発に携わる。転職後、Webサービスの研究開発に従事。200... |
|
|
住井英二郎
氏名
住井 英二郎
SUMII Eijirou 所属
大学院情報科学研究科
情報基礎科学専攻
ソフトウェア科学講座
ソフトウェア基礎科学分野 職名
准教... |
|
|
若槻俊宏
等価変換に基づく問題解決、特にルール型プログラムから命令型プログラムを合成するための理論について研究。 2008年11月21日付けで、京都マイクロコンピュー... |
|
|
比嘉康雄
沖縄県の写真家。フィリピン生まれ。東京写真専門学校卒業。 |
|
|
小山哲志
PHPでプログラムを書く際の再利用性を高めるコツや、世の中に公開されているクラスライブラリの使用法を紹介することにより、PHPをより便利に使う方法を学ん... |
|
|
高野光弘
三田直弥 みたなおや 本名 高野光弘 生年月日 1942年8月24日 職種 俳優 性別 男 血液型 A型 星座 おとめ座 出身 愛知（日本 ） 現所属 河佐井プロモーション ... |
|
|
佐藤智昭
職人佐藤 智昭社長からの紹介文：現場はいつでも整理整頓。どんな些細な作業にも、常に自分に対して厳しさを持って臨み、そして礼儀正しさを決して忘れない、... |
|
|
園田裕貴
園田裕貴 氏 受賞理由 新しいRubyとして、Rubyプログラマの注目を集めるRuby1.9系統のリリースマネージャとして活躍。2010年8月18日にリリースされた、Ruby1... |
|
|
吉田裕美
演劇人：吉田裕美 プロフィール プロフィール 出演作 掲示板 芸名 吉田裕美 芸名よみがな よしだひろみ 他の芸名 他の芸名よみ... |
|
|
今泉貴史
ヘルプ 今泉貴史 研究者情報 研究者情報 研究業績一覧 姓 今泉 IMAIZUMI 名 貴史 Takashi 状態 本学を転出・卒業 所属組織 東京工業大学 工... |
|
|
新藤愛大
新藤 愛大(シンドウ ヨシヒロ) フリーランスＡｃｔｉｏｎＳｃｒｉｐｔエンジニア。Ｆｌａｓｈ／ＡｃｔｉｏｎＳｃｒｉｐｔ開発者のためのオープンソースコミ... |
|
|
まつもとゆきひろ
日本のソフトウェア技術者。株式会社ネットワーク応用通信研究所フェロー、楽天株式会社楽天技術研究所フェロー、Rubyアソシエーション理事長，Herokuチーフ... |
|
|
今井宜洋さんについてのひとこと紹介
|
|
|
|
