Emacs part15
■ このスレッドは過去ログ倉庫に格納されています
0001名無しさん＠お腹いっぱい。
2005/03/26(土) 14:48:22各種 Emacs 関連はこちらで。
前スレ: Emacs part13
http://pc8.2ch.net/test/read.cgi/unix/1096186227/
0766名無しさん＠お腹いっぱい。
2005/06/26(日) 08:25:22こんなにカスタマイズ性があるシェルはびっくりすっな
0767名無しさん＠お腹いっぱい。
2005/06/26(日) 08:38:45cp932で保存されるのですが、euc-jpで保存するには
どうすればいいのでしょうか？
0768名無しさん＠お腹いっぱい。
2005/06/26(日) 08:50:43C-x RET f runs the command set-buffer-file-coding-system
0769名無しさん＠お腹いっぱい。
2005/06/26(日) 08:51:11set-buffer-file-coding-system
ファイル先頭に -*- coding: euc-jp -*- と書く
0770768
2005/06/26(日) 08:51:450771名無しさん＠お腹いっぱい。
2005/06/26(日) 08:55:00http://tagoh.jp/d/?date=20050609 ので日本語表示できたよ
0772名無しさん＠お腹いっぱい。
2005/06/26(日) 08:56:56俺はVimしかできんから知らんけど
0773767
2005/06/26(日) 09:11:10>>769さんの方は、htmlファイルを書いているときに
<? -*- coding: euc-jp -*- ?>
としておけばいいのでこちらでさせていただきました
>>768さんもありがとうございました
0774名無しさん＠お腹いっぱい。
2005/06/26(日) 09:20:590775名無しさん＠お腹いっぱい。
2005/06/26(日) 09:24:50emacsで上のやりかたでテキスト保存して
Vimで開いたらcp932になってっぞ？
0776名無しさん＠お腹いっぱい。
2005/06/26(日) 09:25:100777名無しさん＠お腹いっぱい。
2005/06/26(日) 09:40:27Lisp Interactionモードで使ってるんですが
インデントはできないのでしょうか？
0778名無しさん＠お腹いっぱい。
2005/06/26(日) 10:27:10(require 'windows)
(setq win:switch-prefix "\C-z")
0779名無しさん＠お腹いっぱい。
2005/06/26(日) 10:29:570780名無しさん＠お腹いっぱい。
2005/06/26(日) 10:48:120781名無しさん＠お腹いっぱい。
2005/06/26(日) 10:57:36(require 'windows)
(setq win:switch-prefix "\C-z")
(setq win:switch-prefix "\C-z")
(setq win:switch-prefix "\C-z")
(setq win:switch-prefix "\C-z")
(setq win:switch-prefix "\C-z")
(setq win:switch-prefix "\C-z")
(setq win:switch-prefix "\C-z")
0782名無しさん＠お腹いっぱい。
2005/06/26(日) 11:04:12念には念を入れてって
普通に考えて一回読まれなかったらそっちのほうが問題でしょ・・・
0783名無しさん＠お腹いっぱい。
2005/06/26(日) 11:23:500784名無しさん＠お腹いっぱい。
2005/06/26(日) 12:06:203回目は心とのsyncでしょ？
0785名無しさん＠お腹いっぱい。
2005/06/26(日) 12:36:10前の行の最初のスペースの数を自動的にインデントしてくれないかな．．．
皆様はどうしてますの？
0786名無しさん＠お腹いっぱい。
2005/06/26(日) 12:51:08よくわからんけどこういう話?
(define-key global-map "\C-m" 'reindent-then-newline-and-indent)
0787名無しさん＠お腹いっぱい。
2005/06/26(日) 12:56:16すっげ、ありがとう
C-mってあるから何かのキー押すののかとおもったら
改行したらインデントされた
本当にありがとう
わたしもがんばって
ELisp覚えてみようと思います!!
0788Zeno ◆5nZQbNmQPs
2005/06/26(日) 12:59:47Reply-to:>>787
覚えなくていいよ
_________________
If T is consistent, T !|- G_T.
If T is ω-consistent, T !|- ¬G_T. -- Kurt Gödel
0789名無しさん＠お腹いっぱい。
2005/06/26(日) 13:03:18誰もおまえには言ってないだろ
0790名無しさん＠お腹いっぱい。
2005/06/26(日) 13:04:03If T is consistent, T !|- G_T.
If T is ω-consistent, T !|- ¬G_T. -- Kurt G‡del
なにこれ？
0791名無しさん＠お腹いっぱい。
2005/06/26(日) 13:19:42> _________________
> If T is consistent, T !|- G_T.
> If T is ω-consistent, T !|- ¬G_T. -- Kurt G,Av(Bdel
文字化けしていますよ。
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 "(ﾟДﾟ)ﾊｧ?")))
■ このスレッドは過去ログ倉庫に格納されています