Emacs part15
■ このスレッドは過去ログ倉庫に格納されています
0001名無しさん＠お腹いっぱい。
2005/03/26(土) 14:48:22各種 Emacs 関連はこちらで。
前スレ: Emacs part13
http://pc8.2ch.net/test/read.cgi/unix/1096186227/
0792Zeno ◆5nZQbNmQPs
2005/06/26(日) 13:25:44彼女は吾に向かって言っていたようだ。
Reply-to:>>790
ゲーデルの First Incompleteness Theorem であるぞ。
Reply-to:>>791
> 文字化けしていますよ。
吾の環境ではきちんと表示されているぞ。
ではこれなら大丈夫だろう (↓)
_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser
0793Zeno ◆5nZQbNmQPs
2005/06/26(日) 13:26:42ちなみに、全然スレッドとは関係ないが、吾は mixi というものをやり始めた。
_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser
0794名無しさん＠お腹いっぱい。
2005/06/26(日) 13:27:120795名無しさん＠お腹いっぱい。
2005/06/26(日) 13:42:26自意識過剰ってなんですか。
0796名無しさん＠お腹いっぱい。
2005/06/26(日) 15:28:20みたいに、スレと関係無い事を連発して書く奴はヒキオタとか
社会との接点がないと思われてもしかたないぞ。
とりあえず、ちゃんと話しを聞いてくれる友達を探そうよ。
0797名無しさん＠お腹いっぱい。
2005/06/26(日) 15:36:17=> nil
(make-friend 'Zeno 'anyone)
=> nil
0798名無しさん＠お腹いっぱい。
2005/06/26(日) 17:25:48誰に何を言われても痛くも痒くもないのだろうな
0799Zeno ◆5nZQbNmQPs
2005/06/26(日) 17:56:16知合いは多いが、 "友達" はあまりいないな； というか、
気の合う人物には滅多に出会うことはないだろ？
Reply-to:>>797
(mapcar #'make-friends 'Zeno list-of-all-beautiful-women)
=> (t t ... t)
_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser
0800Zeno ◆5nZQbNmQPs
2005/06/26(日) 17:58:54Reply-to:>>798
実はその逆： 相対性無しでは誰の正気さも証明できないと証明
してしまったから、だな。
_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser
0801ごん米さん、明日は仕事
2005/06/26(日) 20:06:31完全と思えばユークリッドの幾何学があり、
そこに平行線でも交わるとするとリーマン幾何になるべく、
色々な面白いのが出て来た。
不具合がでると公理を追加して完全な理論を組み立てる。
社会の法体系と同じだよ。
基礎論てのは理論が無いと出来ない理論です。
昔、教授が論文の半分は嘘のほら吹きで、後の半分だけが
本物の証明付きなのを発見したら、教授に誉められた。
なんて授業でいってたよ。もう１５年もになるけど、その頃
その先生 Knuth の基本算法翻訳してた。
0802名無しさん＠お腹いっぱい。
2005/06/26(日) 20:38:53> Godel 先生の完全性定理と不完全性定理、一対で定理でだよ。
違います。互いに独立した定理です。字面だけで判断ならさぬように。
0803名無しさん＠お腹いっぱい。
2005/06/26(日) 20:40:240804名無しさん＠お腹いっぱい。
2005/06/26(日) 20:43:59両定理のあいだに排中律は認められません。
両定理同時に成り立ちます。
0805名無しさん＠お腹いっぱい。
2005/06/27(月) 01:09:340806名無しさん＠お腹いっぱい。
2005/06/27(月) 01:23:20可能でしょうか。
zshのヒストリや補完機能をemacsのshellで使いたいんですが、実行結果をバッファに貯めたいんで、
M-x terminal-emulatorは使いたくないのです。
0807名無しさん＠お腹いっぱい。
2005/06/27(月) 01:24:15かなり内容薄そうだったんで買わなかったが。
ZenoはS式のゲーデル数を求めるelispくらい書いてるんだろうな？
0808名無しさん＠お腹いっぱい。
2005/06/27(月) 01:25:300809名無しさん＠お腹いっぱい。
2005/06/27(月) 01:27:48"Hello, world" や '\n' といった文字列に
色を付けて表示することは出来ませんでしょうか？
0810名無しさん＠お腹いっぱい。
2005/06/27(月) 01:33:340811名無しさん＠お腹いっぱい。
2005/06/27(月) 02:28:46煽りでもなんでもなく、普通に思ったので聞きたい。
このエディタのどこがいいのか全くわからん。
Javaを書いてみたがインデント機能が糞だし、
コピペがWindowsより非常にやりにくいし、
フォントが汚いし、デフォの色分けも糞。
Texを書いてみてもいい所が全く見つからなかった。
俺にとっては使いにくいだけの糞エディタなんだが、
どこでこんなに賞賛されてるの？
なんで？
0812名無しさん＠お腹いっぱい。
2005/06/27(月) 03:02:23大人になったときには分かることだから今は分からなくても良いんだよ＾＾
0813名無しさん＠お腹いっぱい。
2005/06/27(月) 03:20:21キーバインド
>このエディタのどこがいいのか全くわからん
ひとの好き好き
>Javaを書いてみたがインデント機能が糞だし
君が好みのインデントとみんなが好みのインデントは違う
自分で調整しれ、自分で好きなようにできるこれも選ぶ理由
>コピペがWindowsより非常にやりにくいし、
それは君が単になれただけでは？
使ってる人達はこっちの方が使い易い
使いにくかったらこれも調整する
>フォントが汚いし、デフォの色分けも糞
フォントは君が持ってるフォント次第
色分けも調整する
>Texを書いてみてもいい所が全く見つからなかった
それは単に君には不向きだっただけ
>俺にとっては使いにくいだけの糞エディタなんだが
君にとってはね
>どこでこんなに賞賛されてるの？
好きな人は使い易いと思ってるけどそれは個人それぞれ違う
>なんで？
じゃぁ、逆に聞くけど君が使ってるエディタ何？ それは万能なの？
それを使いづらいっていう人は世界中に一人もいないの？
世の中にいろいろなエディタがあり使われているのは、一人一人使いかたも使う環境も違う
それ故に絶対に世界全員に愛される万能エディタは作れない
こういうことがわからない人に、世の中を渡って行くのは難しいと思う
いろいろなエディタがあるんだから、自分が好きな便利だと思うエディタを使えばいい
もし自分に合うものがなかったら自分で作ればいい
作ってる最中は不便に思うかもしれないが原型さえ作ればそれを使って作っていけばいい
自分が何かを馬鹿にするときはそのなにかより優位にたった立場で言うべき
この場合、自分が番人に愛されるEmacsを越えるエディタを作ってから言うべき
一ユーザ風情が、馬鹿にするべきではない
0815名無しさん＠お腹いっぱい。
2005/06/27(月) 03:47:380816名無しさん＠お腹いっぱい。
2005/06/27(月) 03:53:20エディタに具体的にどこが使いにくいと言う指摘もしないで
文句をいうような奴にエディタが作れるはずがない
こういうのも考慮して話してやらんといけんな
0817名無しさん＠お腹いっぱい。
2005/06/27(月) 07:29:27>>811 に答えたことにならないな。
0818名無しさん＠お腹いっぱい。
2005/06/27(月) 07:29:320819名無しさん＠お腹いっぱい。
2005/06/27(月) 07:38:22いきなり使って使いやすいって人はなかなかいないんじゃまいか？
0820名無しさん＠お腹いっぱい。
2005/06/27(月) 07:42:17機能的に匹敵するものがないから使われ続けてるようなエディタだな。
0821名無しさん＠お腹いっぱい。
2005/06/27(月) 07:44:10あってるとか以前に、全く的外れ。
0822名無しさん＠お腹いっぱい。
2005/06/27(月) 07:47:15馬鹿は黙っておけば？
0823811
2005/06/27(月) 09:15:53自演でした
0824名無しさん＠お腹いっぱい。
2005/06/27(月) 09:18:40>>822
0825名無しさん＠お腹いっぱい。
2005/06/27(月) 09:45:580826名無しさん＠お腹いっぱい。
2005/06/27(月) 09:49:02どこがばかなのか言ってみれば？
0827名無しさん＠お腹いっぱい。
2005/06/27(月) 10:40:13外人もこれについては疑問を持ってるようで，
comp.emacs で盛り上がってるよ．英語だが面白いので
読んでみれ
Is emacs worth being learned?
http://groups.google.co.jp/group/comp.emacs/browse_thread/thread/47fd064346cc8afc/670a0de7e5af1d4d?hl=ja#670a0de7e5af1d4d
0828名無しさん＠お腹いっぱい。
2005/06/27(月) 10:55:28英語圏の奴は基本的に世界中のエディタが使えるけど
こいつは日本語が使えないと文句をいう口だろ
>>814が答えてるんから十分
ほっとけ
0829名無しさん＠お腹いっぱい。
2005/06/27(月) 11:13:14カスタマイズ性の高さだよ。実際いろんなlispのライブラリやアプリが
そろってるしな。
インデントが糞とは思わないが、もっと気の利いたやつもあるかもしれん。
コピペがやりにくいとは全く思わない。
フォントが汚いとも思わない。(そもそもEmacsとは関係ない)
デフォの色分けは糞かもしれないが、大抵のエディタでデフォの配色は
使わないんでデフォの配色なんてどうでもいい。
Emacsはデフォの状態だと非常に使いにくいっていうのは定説だろう。
だから、あなたに限らずデフォの状態で使いにくいだけの糞エディタなのは
そのとおりだと思う。
0830名無しさん＠お腹いっぱい。
2005/06/27(月) 11:21:24>>814が同じこと言ってるよ
0831名無しさん＠お腹いっぱい。
2005/06/27(月) 12:04:50それ面白かったよ。
user-fiendlyかどうかってとこは、確かにあると思う。
wordのwisiwigなんかから見れば、まあ、unfriendlyだと思う。
helpの出し方とかさ、目的から探せないもんな。
しかし、その分、やれることはいっしょでも、やる方法の
自由度が高いってことだ。慣れれば、こっちの方が数倍早い。
慣れないと数倍遅い。
だから、emacsは、ちょっと高度な人向けってことでFA。
0832名無しさん＠お腹いっぱい。
2005/06/27(月) 12:13:050833Zeno ◆5nZQbNmQPs
2005/06/27(月) 12:15:37Reply-to:>>801
> Godel 先生の完全性定理と不完全性定理、一対で定理でだよ。
それはネタか？
Completeness Theorem は "FOL的" 定理であり、
First and Second Incompleteness Theorems は "その論理システムを
底辺として構築されたシステム上の定理" (この場合、Peano Arithmetic) であり、
そのようなシステムがなければ証明され得ない。
フレームワークが全く別である。
_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser
0834Zeno ◆5nZQbNmQPs
2005/06/27(月) 12:17:18ちなみに言うと、現在存在する何十もの形式的論理システムのほとんど
で "Completeness Theorem" が証明可能だ。
_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser
0835名無しさん＠お腹いっぱい。
2005/06/27(月) 12:26:47素人には危いし使い辛いだろうからあまりお勧めできなくても、
中華のプロはこれ一本であらゆる食材を調理するっていう感じか。
0836名無しさん＠お腹いっぱい。
2005/06/27(月) 12:35:540837名無しさん＠お腹いっぱい。
2005/06/27(月) 12:45:050838835
2005/06/27(月) 12:55:51現に>>811みたいな人がいるから例えてみたんだけど。
>>837
多分、Emacsを使い込なせてると思うよ。viも設定ファイルいじる程度だけど
使えてるんじゃない？
もうちょっと具体的に言ってみてよ。
0839名無しさん＠お腹いっぱい。
2005/06/27(月) 13:00:450840名無しさん＠お腹いっぱい。
2005/06/27(月) 13:05:24M-x tetris で500点とる
0841名無しさん＠お腹いっぱい。
2005/06/27(月) 13:08:320842名無しさん＠お腹いっぱい。
2005/06/27(月) 13:09:31>M-x tetris で500点とる
どゆこと？
0844名無しさん＠お腹いっぱい。
2005/06/27(月) 13:59:470846名無しさん＠お腹いっぱい。
2005/06/27(月) 14:53:17両方なかったっけ。
What I see is what I get. wisiwig
What You See Is What You Get. WYSIWYG
0847名無しさん＠お腹いっぱい。
2005/06/27(月) 15:03:26少数派だから、WYSISYGなんてものは死語だよな。
0848名無しさん＠お腹いっぱい。
2005/06/27(月) 15:08:15既に拾った語は小文字になってしまってるんで、
大文字に限定して検索したい時はタイミング的になかなか不便だ。
0849名無しさん＠お腹いっぱい。
2005/06/27(月) 15:51:240850Zeno ◆5nZQbNmQPs
2005/06/27(月) 16:24:18TeXmacs でも使用したらいいのではないのか？
_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser
0851名無しさん＠お腹いっぱい。
2005/06/27(月) 16:26:43チンポムケテマスカ？
0852名無しさん＠お腹いっぱい。
2005/06/27(月) 16:45:35俺は求める。
俺のコードは幾ら見ても間違っちゃいないのに、望んだ通りに動かないからだ。
0853名無しさん＠お腹いっぱい。
2005/06/27(月) 16:45:380854名無しさん＠お腹いっぱい。
2005/06/27(月) 17:43:52それは間違いなく宇宙からの強力な電磁波によってメモリ破壊されているな
すぐにメモリにこんにゃくを張った方がいい
0855名無しさん＠お腹いっぱい。
2005/06/27(月) 18:08:080856名無しさん＠お腹いっぱい。
2005/06/27(月) 18:34:020857名無しさん＠お腹いっぱい。
2005/06/27(月) 19:31:310858名無しさん＠お腹いっぱい。
2005/06/27(月) 19:38:140859名無しさん＠お腹いっぱい。
2005/06/27(月) 19:41:10違う違う。ctrlをどのキーに割り当てるのかということじゃなくて
「まずctrl(相当」を押してからhogehogeキーを押して関数呼び出し」
つっう概念そのものをなんで変えないんですか？ってこと。
0860名無しさん＠お腹いっぱい。
2005/06/27(月) 19:44:480861名無しさん＠お腹いっぱい。
2005/06/27(月) 19:48:030862名無しさん＠お腹いっぱい。
2005/06/27(月) 19:53:07変えたければ変えればいいじゃん。
0863名無しさん＠お腹いっぱい。
2005/06/27(月) 19:59:40どう変えたいの?
0864名無しさん＠お腹いっぱい。
2005/06/27(月) 20:00:590865名無しさん＠お腹いっぱい。
2005/06/27(月) 23:08:41こうしとけ、(global-set-key "a" (lambda () (insert "(ﾟДﾟ)ﾊｧ?")))
0866名無しさん＠お腹いっぱい。
2005/06/27(月) 23:55:53それ以上やっても生産性は50歩100歩になると思うけど、
みなさんはバリバリカスタマイズしてるのでしょうか。
0867名無しさん＠お腹いっぱい。
2005/06/28(火) 00:23:34自分が使いたいように鉛筆やら消しゴムやら本棚やらを
配置すればいいわけだね。
ワープロなんかはレンタル事務所みたいなもので、
必要なものは全部そろってるけどコピー機までちょっと
歩かないといけなかったりする、とか。
0868名無しさん＠お腹いっぱい。
2005/06/28(火) 00:26:2411442 13296 339513 .emacs.el
0869名無しさん＠お腹いっぱい。
2005/06/28(火) 00:50:070870名無しさん＠お腹いっぱい。
2005/06/28(火) 01:14:190871名無しさん＠お腹いっぱい。
2005/06/28(火) 01:19:38表示されるなんて全然知らなかった。
この機能はめちゃくちゃ欲しかった。ヽ(´▽｀)ﾉ
0872名無しさん＠お腹いっぱい。
2005/06/28(火) 01:21:39トップディレクトリのみ確認にしてても面倒なんですけど。
0873名無しさん＠お腹いっぱい。
2005/06/28(火) 01:22:330874名無しさん＠お腹いっぱい。
2005/06/28(火) 01:25:230875名無しさん＠お腹いっぱい。
2005/06/28(火) 01:46:300876名無しさん＠お腹いっぱい。
2005/06/28(火) 01:47:390877名無しさん＠お腹いっぱい。
2005/06/28(火) 01:49:43え？なにがいいたいの？
emacs-21.4/lisp/mail/feedmail.el
0878名無しさん＠お腹いっぱい。
2005/06/28(火) 01:50:27精神病院言って友人から火病の治療をしたほうがよいと言われたといいな。
0879名無しさん＠お腹いっぱい。
2005/06/28(火) 01:50:580880名無しさん＠お腹いっぱい。
2005/06/28(火) 01:59:370881名無しさん＠お腹いっぱい。
2005/06/28(火) 02:03:10Date: 2005/06/26(日) 13:26:42
ちなみに、全然スレッドとは関係ないが、吾は mixi というものをやり始めた。
_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser
_______________________________________
0882名無しさん＠お腹いっぱい。
2005/06/28(火) 02:12:34サイト回って金でかったんだろ
0883名無しさん＠お腹いっぱい。
2005/06/28(火) 02:22:52必死だな。
0884名無しさん＠お腹いっぱい。
2005/06/28(火) 02:23:05自己分析乙
0885名無しさん＠お腹いっぱい。
2005/06/28(火) 02:44:080886名無しさん＠お腹いっぱい。
2005/06/28(火) 02:46:090887名無しさん＠お腹いっぱい。
2005/06/28(火) 03:05:21おまえに友達がいないということである。
0888名無しさん＠お腹いっぱい。
2005/06/28(火) 03:09:54どういうふうにマニュアル見ればいいんですかね？
0889名無しさん＠お腹いっぱい。
2005/06/28(火) 03:21:55C-c C-h
あるいは
M-x help m (describe-mode) または
M-x help b (describe-bindings)
0890888
2005/06/28(火) 03:33:190891名無しさん＠お腹いっぱい。
2005/06/28(火) 03:51:48を、解除したいのですが
どうすればいいのでしょうか？
Emacsは再起動できません
M-x load-fileで読み直したら直ると思っていたのですが
その行をコメントアウトしただけでは設定は上書きしない限り
継続されるので、できませんでした
■ このスレッドは過去ログ倉庫に格納されています