社内でEmacs vs Vimが起きた

なかじまりか @rika0618

なんでvim何ですかって言われた。便利ですよっておすすめしておいた。

なかじまりか @rika0618

「なんですか」を「何ですか」って変換するのやめてほしい

ぐるぐる系SQL @bleis

なんでvimじゃないんですか

なかじまりか @rika0618

@bleis 布教しておきます（きりっ

こーくん @coqn_

@rika0618 なんでVimなんですか

maeda @maeda_

@rika0618 なんでVimなんですか？

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

@rika0618 なんでVimなんですか？

なかじまりか @rika0618

@kyon_mm @maeda_ @k_dispose 好きだからです(｀・ω・´)

こーくん @coqn_

@rika0618 @kyon_mm @maeda_ Emacsじゃだめなんですか？

ぐるぐる系SQL @bleis

@k_dispose @rika0618 @kyon_mm @maeda_ ないわー。Emacsとかないわー。

maeda @maeda_

@bleis @k_dispose @rika0618 @kyon_mm vimだとproofgeneralが動かないよ？

こーくん @coqn_

断固Emacs派と宣言したらこの席の周りで宗教戦争起こるな…

ぐるぐる系SQL @bleis

@maeda_ @k_dispose @rika0618 @kyon_mm vimの中でcoqtop使えばおｋ

maeda @maeda_

@bleis @k_dispose @rika0618 @kyon_mm coqtopとproofgeneralでは便利さが全然ちがうよ

ぐるぐる系SQL @bleis

@maeda_ @k_dispose @rika0618 @kyon_mm じゃぁCoqIDEでも使えばいいんですよ

Yoshihiro Imai @yoshihiro503

@maeda_ @bleis @k_dispose @rika0618 @kyon_mm つまり証明する人: emacs 証明しない人: vim なんじゃね。

maeda @maeda_

@yoshihiro503 @bleis @k_dispose @rika0618 @kyon_mm proofgeneralはすごいよくできているのに、証明する人が少ないのが惜しいですね

otf @otf

あ、僕はnotepa....

ぐるぐる系SQL @bleis

@otf お呼びじゃないです

Yoshihiro Imai @yoshihiro503

@maeda_ @bleis @k_dispose @rika0618 @kyon_mm えっ少ない？ 私の会社の人はみんなproofgeneralですよ。

こーくん @coqn_

@kyon_mm @yoshihiro503 @maeda_ @bleis @rika0618 メモ帳が最強ですよ

maeda @maeda_

@yoshihiro503 @bleis @k_dispose @rika0618 @kyon_mm 証明する人の中でのproofgeneralの割合は高いと思いますが、証明する人自体が少ないのでproofgeneralのすごさを伝える先が少ないことを悲しんでいます

ぐるぐる系SQL @bleis

@k_dispose @kyon_mm @yoshihiro503 @maeda_ @rika0618 メモ帳はあり得ない

maeda @maeda_

@bleis @k_dispose @kyon_mm @yoshihiro503 @rika0618 こーくんは頭の中の完璧なコードを上から下へ書き下すだけなので、編集機能とか要らないんだよ

こーくん @coqn_

@bleis @kyon_mm @yoshihiro503 @maeda_ @rika0618 最強のシンプルエディタですよ！