@JUNP_Nです。先日出先にてMacで作業をする時があったのですが、いつも行く場所ならまだしも普段行かない場所ではなかなか電源や無線LANを確保できない時ってありませんか?ということで普段行かない場所で電源を確保できる場所を調べるサイトをまとめてみました。
![電源・無線スポットを探せるサイトとアプリ10個 *男子ハック](https://cdn-ak-scissors.b.st-hatena.com/image/square/59a98a4eede714ec77d27b8e816ba2b56238feb3/height=288;version=1;width=512/https%3A%2F%2Fwww.danshihack.com%2Fwp-content%2Fuploads%2F2011%2F05%2Fa0002_001949.jpg)
@JUNP_Nです。先日出先にてMacで作業をする時があったのですが、いつも行く場所ならまだしも普段行かない場所ではなかなか電源や無線LANを確保できない時ってありませんか?ということで普段行かない場所で電源を確保できる場所を調べるサイトをまとめてみました。
今回は、入門記事書きはちょっと休憩して、Coqの解説記事などを集める会です。 英語 言語そのものを浅く/深く眺めていく、という方向のテキスト3つ: Coq in a Hurry 「忙しい人のためのCoq入門」。比較的よくまとまっている気がしました。 Coq Proof Assistant: A Tutorial 本家のチュートリアル Interactive Theorem Proving and Program Development (Coq'Art) Amazon 定番の一冊 講義の素材として作られたチュートリアル達。より具体的な題材での演習付きなので面白いかも: 2nd Asian-Pacific Summer School on Formal Methods Using Proof Assistants for Programming Language Research or, H
Takashi Miyamoto @tmiya_ オブジェクト指向はOOPの他にOOA,OODなど上流工程向けの方法論があるのだが、関数型言語についてもFPの他にFA,FDがあるのだろうか?誰か適切な論文/教科書とか知りませんか? 2010-05-30 09:26:38 Ikegami Daisuke @ikegami__ 探してみます。でも強い型付けか、弱い型付けかで、まるっきり異なるでしょう RT @tmiya_: オブジェクト指向はOOPの他にOOA,OODなど上流工程向けの方法論があるのだが、関数型言語についてもFPの他にFA,FDがあるのだろうか?誰か適切な論文/教科書とか知りませんか? 2010-05-30 09:30:40 Ikegami Daisuke @ikegami__ @tmiya_ 個人的な感想ですが、強い型付けのプログラミング言語で開発を行う場合、実装の前に、全体
ついでに、主に日本語の Coq 情報を (10 分で思い出せる範囲で) まとめてみます。順不同。 公式に近い情報 本家 Coq'Art (Coq の教科書) Cocorico! (本家 Coq wiki) CiteSeer (笑) Coq のことをまとめようとしている wiki 菊さんの Coq wiki Tossy-2 の Coq wiki たまに Coq のことが書いてあるブログ yoshihiro503 さんのブログ (LL 魂で Coq の発表をされた方、Coq の話ばっかり) いまいけいごさんのブログ 菊さんのブログ Tossy-2 のブログ あろはさんのブログ (2006/04 〜 05 頃) 他にもちらほら見かけるはずなのですが、ちゃんとメモしてなかったので思い出せません。見つけたら自発的に適宜追加するかもしれませんが、教えてもらえると助かります。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く