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

• Material Type: 図書
• Title: 夏のプログラミング・シンポジウム「プログラミング言語, 作る人, 使う人」報告集
• Title Transcription: ナツ ノ プログラミング ・ シンポジウム 「 プログラミング ゲンゴ, ツクル ヒト, ツカウ ヒト 」 ホウコクシュウ
• Author/Editor: 岩崎英哉, 川中真耶, 小出洋, 田中哲朗, 松崎公紀, 三廻部大 編
• Author Heading: 岩崎, 英哉 イワサキ, ヒデヤ ( 01043746 )Authorities; 川中, 真耶 カワナカ, シンヤ ( 001111336 )Authorities; 小出, 洋 コイデ, ヒロシ ( 01054661 )Authorities
• Publication, Distribution, etc.: 東京 : [情報処理学会] プログラミング・シンポジウム委員会
• Publication Date: 2012.1
• Publication Date (W3CDTF): 2012
• Extent: 118p
• Size: 26cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: プログラミング (コンピュータ)--会議録 プログラミング (コンピュータ) カイギロク ( 00581895 )Authorities; プログラミング用言語--会議録 プログラミングヨウゲンゴ カイギロク ( 01150289 )Authorities
• NDC 9th ed.: 007.64 : Information science
• NDLC: M159
• Target Audience: 一般
• Note (General): 会期: 2011年9月2日-4日
• Note (Bibliography): 文献あり
• Holding library: 国立国会図書館
• Call No.: M159-J1627
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 023853587; http://id.ndl.go.jp/bib/023853587
• National Bibliography No. (JPNO): 22115989
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

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