Why the model checking technique is successful for HW verification, and failing for SW verification? For HW verification, HW like digital circuits are easy to model checking. But for SW, SW is usually so huge, we can only apply MC for abst…

林晋さんのこと、根拠なきイチャモンのことhttp://d.hatena.ne.jp/m-hiyama/20151109/1447026954 いずれにしても、既存の方法や習慣とギャップがあると受け入れてもらえないので、今のやり方のなかに少しずつ形式性や厳密性を注入していくしかないような気が…

Incremental software development

Emacs はそのままでは redo に対応しておらず、redo をしようとすると拡張する必要がある。redo+ はその一つである。インストール方法は M-x install-packages でみようとしたが、"marmalade" にも、"melpa-stable"にも no match といわれ、少しはまった。今…

ensime とかあるようだが、まずはお試しで使うための手っ取り早い方法。emacs で scala mode をインストールすると、emacs メニューに「scala」が現れる。実行したバッファ上で、このメニューにある「scala->Run Interpreter」をクリック。以降は、C-c C-l …

ペリエ＠アーカイブ: ubuntu 12.04 LTS alt+grave(`)を有効にする方法

Interlocking - GNU Emacs Manual M-x diff-buffer-with-file

http://www.kabipan.com/computer/emacs/emacsのinteractiveの使い方を整理し理解してみました - むかぁ～ どっと こむ

Git - 作業のやり直し ファイルへの変更の取り消しbenchmarks.rb に加えた変更が、実は不要なものだったとしたらどうしますか? 変更を取り消す (直近のコミット時点の状態、あるいは最初にクローンしたり最初に作業ディレクトリに取得したときの状態に戻す) …

TeX Forum 例えば W32TeX をインストールした場所が C:\w32tex だったとすると、 C:\w32tex\share\texmf-local\tex以下に置けば読み込み可能になります。普通は pLaTeX 専用のものは C:\w32tex\share\texmf-local\tex\platex 以下 欧文 LaTeX でも可能のもの…

macにnkfコマンドがないだと！？じゃあ入れよう！ - Qiita

I have installed Texlive in Cygwin, but it is too slow for compilations. Thus, I have come back to W32Tex.

【未解決】 cygwin から、open コマンドで起動したemacsで、M-x shell や 'compile したら、「apply: Spawning child process: invalid argument」がでる。普通に起動すると出来る。なぜだ。Path の関係かな。どなたか教えてください。

Lyx を入れようとすると、Cygwin が壊れたので、再インストールを試みた。Cygwin のアンインストールはフォルダの削除ということで、削除を試みるも、Cygwin が消えない。ちなみに以下を試した。 フォルダのプロパティ→「セキュリティ」でアクセス権を設定 …

git push origin tag-name $ git tag -l 2.11 $ git push --tags --repo="git@bitbucket.org:our_repo/webrequest.git" site / master / issues / #3468 - BitBucket does not show tags in git repository — Bitbucket

vim のだめな点 コンパイルコマンドを呼ぶと、vim を一旦閉じて、コンパイルをして、再度Vim を呼ぶ設定となっている。このため、コンパイルをした後に、undo ができない コンパイルが編集をブロックする。 これらは頑張れば回避できるのかもしれないが、頑…