2012年11月30日金曜日

Ada勉強メモ 2

›
Ada 教科書・ウェブページ紹介 に載せた教科書 『 ADA-言語とプログラミング方法論 』 を読んでいきます。まずは目次から。 本書は4部から構成されています。目次をさらっと眺めます。 第I部 小規模プログラミング Ada入門 Integerデータ型 B...
2012年11月26日月曜日

【Git】タグを付け替える

›
Gitでのタグの付け方を勉強してました。 あるコミットに対してタグを付けたけど、やっぱり付け替えるやり方を見つけたのでメモ。 appling // gitタグの付け替え から引用します。 まずは既存のタグを削除 $ git tag -d <TAG...
2012年11月18日日曜日

Ada 教科書・ウェブページ紹介

›
Adaを勉強するにあたり、参考となる教科書やウェブページを紹介します。 『 ADA-言語とプログラミング方法論 』 僕が教科書として使おうと思っている書籍です。 分厚くて、かなりたくさんの情報が載っている雰囲気です。 最初のAda規格に対応する古い本ですが、最新規格につ...
2012年11月13日火曜日

研究の貢献を意識する

›
卒論や修論を書くときに常に考えておかねばならない，研究のテーマや貢献． 以下の質問項目にきちんと答えられれば，それなりにきちんと意識できていると思います． まずこの2つ． その研究は，どのような問題を解決しようとしていますか． その問題が解決されたら，誰がどのくらい喜...
2012年11月5日月曜日

Ada勉強メモ 1

›
ひょんなことからプログラミング言語 Ada を学ぶことになったので、 これからちょこちょこ勉強メモを書いていこうかと思います。 Adaってすげーんだぜ！ Adaっていうと 古いんじゃないの？ もう使ってる人いないんじゃないの？ 何に使えるのさ という...
2012年10月29日月曜日

vim on Mac: 全角記号（□とか○）がずれないようにする

›
MacのTerminal.appでvimを使っていると、□や○などが半角の幅で表示されてしまいます。 対策が分かりましたのでメモしておきます。 OS X Mountain Lionでは対処が簡単で、Terminal.appの環境設定画面の「詳細」タブで 「...
2012年10月22日月曜日

【Git】削除したことをindexに登録する

›
Gitを使っていて面白い挙動に出会ったのでメモ。 シチュエーションとしてはこんな感じ。 ファイル"foo"を少し編集して、OSのコマンドで"bar"にリネームした。 git add bar git rm foo 1の直後...