rakkのブックマーク / 2010年3月30日 - はてなブックマーク

rakk id:rakk

2010年3月30日のブックマーク (4件)

私の論文メタデータ管理法 - 発声練習
あの笹田さんに楽しんでいただけて光栄至極。一回だけお目にかかったことがあります。研究日記：December 9 http://d.hatena.ne.jp/next49/20080214/p1 大変楽しかったのだけれど，ここで大笑いしてしまった．場合によっては、ここいらへんでスキーに行くのも良い。先生に絶望感を与えられる上に、君は楽しいという一挙両得のアイデアだ。もし、これを本当にやられたら私は3日は寝込みますね。で、同じく笹田さんが日記で以下のようにつぶやかれていましたので、私の論文メタデータ管理方法をご紹介。研究日記：December 2 文献リストをまじめに管理しようと思うのだけれど，どうすれば自動化が簡単になるか．年代順とか，査読付き論文誌とか，国際会議とか，そういうのを簡単に管理する方法．はじめにちなみに全然、自動化されいません。私は、LaTeXで論文を書くのでB
rakk 2010/03/30
CiteULike, BibTeX

*Study

tips
リンク
BibTeX 活用術
rakk 2010/03/30
tex
リンク
Mozilla Labs - Prism – Firefox 向けアドオン
Refractor creates a Prism web application from within Firefox. Users can manually create web applications using "Tools > Convert Website to Application". The extension can also detect embedded web application bundles on web pages and prompt the user to install the bundle.
rakk 2010/03/30
webアプリをローカルアプリケーションのように扱える

firefox

addon
リンク
2009年度後期・数理解析・計算機数学 III
[ ホーム | 講義 ] 2009年度後期・数理解析・計算機数学 III (同概論III) レポート課題プログラミング課題提出期限 2010年1月15日(金) レポート課題提出期限 2010年2月8日(月) 講義予定シラバス (修正版) 第1回 10月7日 Objective Camlプログラミングの基礎: 定義と型講義メモ資料 EmacsでOCamlを使う (修正版) 第2回 10月14日多相型と汎関数第3回 10月21日関数グラフの描画関数描画ライブラリー plot.ml plot.mli 再帰関数 10月28日は出張で休講第4回 11月4日リストと構造的帰納法第5回 11月11日再帰的アルゴリズム1 講義メモ第6回 11月18日再帰的アルゴリズム2 講義メモ第7回 11月25日 GUIとグラフィックス講義メモ第8回 12月2日 Coqで関数型プ
rakk 2010/03/30
Coq講義メモ　あとで見る Garrigue先生

*Study

coq
リンク
- 2010年4月1日
- 2010年3月30日
- 2010年3月29日