酒井聡樹先生の「これから論文を書く若者のために」という論文執筆指南書があります。ザ・名著です。 これから論文を書く若者のために 大改訂増補版 作者: 酒井聡樹出版社/メーカー: 共立出版発売日: 2006/04/06メディア: 単行本購入: 24人 クリック: 330回この商品を含むブログ (56件) を見る 私にとっては「論文執筆において必要なことは全てこの本から学んだ」と言ってもよいくらいお世話になった本と言えます。 この本の中の金言の一つとして、ひとつの研究がまとまった際に「その論文を書き上げないままに他の研究をはじめてはいけない」というものがあります。 なぜこれが金言なのか、について今日は主にエア後輩たちに向けて書いていきたいと思います。 なぜ論文を書き上げないまま他の研究をはじめてはいけないか:論文執筆の観点から 酒井先生の本には主に論文執筆の視点からの理由づけが書かれています。
この発言 @dekosuke なんか 僕は最近全然 Haskell ゴルフをしていなくて腕が衰えていて悲しいので、 @notogawa さんあたりが解説記事を書いてくれないかと期待しています! [石持浅海先生講演会 11/6(土) URL ] 2010-10-07 20:18:44 via YoruFukurou to @dekosuke を受け,ちょっとまとめてみようかと,とりあえず思い付きをつらつらと書いてみる. 書きつつ思ったが,こんなものでよいのだろうか?これらの前に一段あるような気がする. とりあえず注意書きを書いておくかー. このエントリはHaskell入門ではありません.普通にコーディングする場合,あんまり真似しないほうが良いです. (anarchy) golfの基本 余計な空白は除去(Haskellは関数適用があるので割と空白があるほう) 改行はLF エラーで止めてよい H
http://www.iij-ii.co.jp/lab/techdoc/coqt/ を読んでいたらいつのまにかそんなかんじのを書いていた.どうしても Vim で書きたいかわいそうな人以外は普通に CoqIDE や Proof General 使ったほうがいいと思います. https://github.com/eagletmt/coqtop-vim 最新の vimproc を先にインストールしておく必要がある. 使い方としてはまず :CoqStart で coqtop からの出力を表示するバッファとウィンドウを作る. コードを書いていき,インサートモードで するとその行まで coqtop に送られる.ノーマルモードで :CoqGoto あるいは g *1でも同じ. 既に送られた領域の最後の行は Folded で色付けされ,これより上の行は編集できなくなる. (ところで「編集できなく」するため
作業用BGM→mylist/14911596 キタエリのメドレーです。ソロとユニット両方入ってます。全23曲+α 他の投稿動画→mylist/8190420 最後にボーナストラックありです! 作業用にどうぞ
In mathematics, amongst the natural numbers greater than 1, a prime number (or a prime) is such that has no divisors other than itself (and 1). This means that it cannot be represented as a product of any two of such numbers. Prime Number Resources At Wikipedia: Prime Numbers Sieve of Eratosthenes HackageDB packages: arithmoi: Various basic number theoretic functions; efficient array-based sieves,
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く