タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

coqに関するYuichiTanakaのブックマーク (4)

  • ソフトウェアの基礎

    Benjamin C. Pierce Chris Casinghino Michael Greenberg Vilhelm Sjöberg Brent Yorgey with Andrew W. Appel, Arthur Chargueraud, Anthony Cowley, Jeffrey Foster, Michael Hicks, Ranjit Jhala, Greg Morrisett, Chung-chieh Shan, Leonid Spesivtsev, and Andrew Tolmach

  • CIS 500: Course Homepage

    Tuesday/Thursday: 1:45 - 3:15, ANNS 111 Instructor Benjamin Pierce bcpierce AT cis.upenn.edu Office: Levine 562 Office hours: Mondays 2:00 - 4:00 ET Teaching Assistants Lef Ioannidis elefthei AT seas.upenn.edu Office hours: Monday and Wednesday from noon to 2PM in Levine 5th floor bump space (near elevators) Text The main texts for the course are the online books Logical Foundations and Programmin

    YuichiTanaka
    YuichiTanaka 2013/10/22
    Coqの授業
  • プログラミング Coq

    Como Planejar sua Campanha Promocional com Brindes | Apresentação 2 de 3Memory Promotional Enterprise

    プログラミング Coq
  • IIJ Research Laboratory

    ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで

  • 1