夏のプログラミング・シンポジウム「プログラミング言語, 作る人, 使う人」報告集

• 資料種別: 図書
• タイトル: 夏のプログラミング・シンポジウム「プログラミング言語, 作る人, 使う人」報告集
• タイトルよみ: ナツ ノ プログラミング ・ シンポジウム 「 プログラミング ゲンゴ, ツクル ヒト, ツカウ ヒト 」 ホウコクシュウ
• 著者・編者: 岩崎英哉, 川中真耶, 小出洋, 田中哲朗, 松崎公紀, 三廻部大 編
• 著者標目: 岩崎, 英哉 イワサキ, ヒデヤ ( 01043746 )典拠; 川中, 真耶 カワナカ, シンヤ ( 001111336 )典拠; 小出, 洋 コイデ, ヒロシ ( 01054661 )典拠
• 出版事項: 東京 : [情報処理学会] プログラミング・シンポジウム委員会
• 出版年月日等: 2012.1
• 出版年（W3CDTF）: 2012
• 数量: 118p
• 大きさ: 26cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: プログラミング (コンピュータ)--会議録 プログラミング (コンピュータ) カイギロク ( 00581895 )典拠; プログラミング用言語--会議録 プログラミングヨウゲンゴ カイギロク ( 01150289 )典拠
• NDC9版: 007.64 : 情報科学
• NDLC: M159
• 対象利用者: 一般
• 一般注記: 会期: 2011年9月2日-4日
• 書誌注記: 文献あり
• 所蔵機関: 国立国会図書館
• 請求記号: M159-J1627
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 023853587; http://id.ndl.go.jp/bib/023853587
• 全国書誌番号: 22115989
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 内容細目: セッション1高性能計算におけるVerification-Obliviousプログラミングのためのディレクティブに基づくソースコード検証 / 安部達也, 佐藤三久 著動的解析を利用した正常系解析と正常系表示エディタの開発 / 中山心太 著...