ghc-mod not found が出たの場合の対応

ghc-mod not foundがよく出てくるのでいい加減書いておく。ghc-mod not found はPATH設定してないのがゲンインらしい。 対処方法 もしghc-modをインストールしていない場合は $ cabal install ghc-modでインストールしておく。LinuxとWindowsの場合の設定の…

Windows7でタスクバーが隠れなくなった場合の対処

Windows 7で「タスクバーを自動的に隠す」をチェックしてもタスクバーがなぜか隠れなくなった。どうやってこの状態を再現させるかが謎だけど、対処法はわかった気がする。 対処法1 キーボードの上の段にあるF11を押して全画面表示にしてから、もう一度F11を…

あのアイコンはどこに...?

あのアイコンを探すけどgoogleで検索してもなかなか出ないのでメモ。penguin2716/teokure-icons - GitHub現時点(2012/8/8)で、ておくれアイコン205種とかすごい。今はgithubで管理しているみたい。

複数のjpegを一つのpdfへ変換した時のメモ

ImageMagickを使って。複数のjpegを一つのpdfに変換したときに困ったことのメモを書いとく。ImageMagickを使って変換するときはconvetコマンドを使う。 $ convert *.jpg gakufu.pdf ここでファイル名が連番に出力されなくて困った。 1.jpg 2.jpg 3.jpg ... 1…

(git submoduleの)Not a git repository のエラー解消

Git

gnupackの.emacs.dディレクトリをgitで管理していて、gnupackのアップデート時には、.emacs.dをまるごと移動させて(.gitを含めて)設定ファイルをアップデートという方法を今はしてる。 これをしたら、haskell-modeとmulti-web-modeが、前のディレクトリのパ…

NXTをバージョン管理するときに無視すべきファイルたち

NXT

NXTのロボット開発で、ソースコードの管理のためにGitを使ってる。プログラムを書いてコミットするときに無視するファイルを決めておかないと無駄なファイルを管理してしまうのでなかなか面倒なことになる。Gitでは.gitignoreに無視するファイル・ディレクト…

Arch Linuxでlocateコマンドを使う方法

Linuxではlocateというfindより楽そうなファイルを高速に検索するコマンドがある。Arch Linuxでもそれを使いたかったので使ってみたけどなぜか -bash: locate: command not foundとなってしまって使えなかった。 Googleで検索してみるとmlocateというパッケ…

Emacsで選択範囲の改行を置換する方法

検索する限りでは、M-x replace-regexpや M-x query-replace-regexpなどを使ってC-q C-jで置換する方法以外で、スクリプトとして置換するやり方はほとんどなかったみたいだった。かろうじてStack Overflowに自分がやりたいことを書いてくれているものがあっ…

Coqのコメントアウトの方法

Coq

ドキュメントによると (* コメントアウトは (* と *) で囲む *) (* (* ネストもできるらしい *) *)Cみたいな一行コメントアウトの // は見当たらなかった。こういうのがあると、サッとコメントアウトするときは便利なのだけれど。めんどくさいのでsmartchrと…

error: no macro name given in #ifndef directiveってなんだという

NXT C

make allしたら盛大にエラーが出てきた。 $ make all Compiling Source/ColorDetector.c to ColorDetector.o In file included from Header/ColorDetector.h:5, from Source/ColorDetector.c:1: Header/LightSensor.h:3:8: error: no macro name given in #i…

バッファのある一行の文字列を取得する

アクセス解析を見てた時に、buffer-substringで行の取得の仕方を検索してた人がいた。そういえば行の取得の仕方を書いてなかったので書いてみようと思う。 やり方 test-string1 ;; <-ここの行にカーソルがあったとする test-string2 ;;(point-at-bol) 現在の…

複数のユーザー別にhowmディレクトリをDropboxディレクトリに設定するやり方

いきさつ 研究室用のEmacsと家用のEmacsの設定の違いを吸収するにはどうしたらいいか考えてたらauto-completeのプルダウンメニューにユーザー関係の変数が用意されてたのを発見した。用意されている変数があるのでよし使おうと思ったら作ってみたら出来た。 …

NXTで見かけるU32とかS8とかいう型は何か?

NXT

NXTを触ってるとU32とかS8とかF32とかいう方が出てくる。一体なんなのかなと思ったらtypedefした型だった。宣言の場所は、 nxtOSEK/ecrobot/c/ecrobot_types.h nxtOSEK/lejos_nxj/src/nxtvm/platform/nxt/mytypes.h に宣言してあった。抜き出した部分は以下…

mallocの警告の対処方法メモ

C

Cでプログラムを作っていた時に、mallocを使っていてこんな警告が出てた。 警告: 組み込み関数 ‘malloc’ の互換性がない暗黙的な宣言です これは #include "stdlib.h" がないから警告が出るみたい。なので、ソースコードに、上の#include "stdlib.h"を付け加…

Data.Graph写経でつまったとこのメモ

ここのページを写経してたらライブラリが見つからなくて実行できなかった。使用したライブラリは以下のとおりである。 import Prelude () import Prelude.Plus import Data.Array import Data.Maybe (listToMaybe, mapMaybe) import Data.Tuple.Select (sel2…

parsecが見つからなかったののメモ

勉強のためCSVパーサーを写経してたらこんなエラーが出てきた。 csv_parser.hs:33:8: Could not find module `Text.ParserCombinators.Parsec' Perhaps you meant Text.ParserCombinators.ReadPrec (from base) Text.ParserCombinators.ReadP (from base) Us…

ibusのエラー解消のメモ

ibusでこんなエラーが出た。 ibus_write_address: assertion `pf != NULL' failed@see Google Code Archive - Long-term storage for Google Code Project Hosting. @see FC2掲示板 -このページの表示は許可されていません- 上の2つのリンクを見てみると、ib…

プログラミングHaskell 2章練習問題 解いた

プログラミングHaskellを買ったことによりHaskell入門した。インタプリタあるっていいね。Cとかはインタプリタあればもっと楽なんだろうなと思って探したらなんとインタプリタがある((((;゚Д゚))))ガクガクブルブルCling | ROOT a Data analysis Frameworkまぁそ…

byte compileの時に出た、Invailid lambda variable(...)というエラー

test.el:2:4:Error: Invalid lambda variable (quote test-list) というエラーがバイトコンパイルの時に出た。なにかと思ったらdefunの後の引数の括弧が抜けてただけだったorz。 (defun my-func (add-to-list 'test-list (?' . ?'))) ↓ (defun my-func () (a…

make入門でかなりわかりやすいサイト

@see Makefile の書き方 (C 言語) — WTOPIA v1.0 documentationここは段階的にわかりやすく書いてる。一度ここで学んでから他のサイトを見てみると、makefile内で何をどうしてるかが分かった。以下は自分のメモincludeするヘッダファイルはコンパイルすると…

eval-last-sexp-popupでmake-stringマイナスでバグることの解決方法

どうやったら再現できるバグかはわからないけれど何回も苦しめられたので一応書こうと思う。 もう既に解決された問題だったか、popup.elをアップデートしていなかったことが原因だったかもしれない。エラー文の見た目は下リンクのwholenumpエラーと大体一緒 …

Arch Linuxでjhlpファイルを実行する方法

どのパッケージをインストールすればTopCoderのjnlpファイルを実行できるようなるか、なのですが、 $ javaws ContestAppletProd.jnlpというjavawsなるものを使って実行する。それかファイルをダブルクリックすれば起動できる。 javawsを実行できるようにする…

pacmanでconflictが起きまくった時のメモ

インストールしたてのArch Linuxはかなりconflictが起きる。メモをしておくと誰かに役に立つと思う。Arch LinuxのISOのバージョンは arch-linux-2011.08.19 の日付のやつだった。※注 $ から始まるコマンドはユーザ権限、普通に実行できるコマンド、 # から始…

WindowsでEmacsを使ってるときに32bitか64bitかを見分ける方法

Windowsで32bitか64bitかを判別したいというときが、もしかしたらあるかもしれない。そんなときのための最近思いついたelispです。この発想の元は、C:/Program Files (x86)があったらそれは64bitのWindowsじゃないかということだった。下のコードが発想を元…

Emacsでバッファから文字列を取得するやり方

バッファからの文字列取得の仕方がわからなかったのでメモしておく。 バッファからの文字列取得は buffer-substring buffer-substring-no-propeties buffer-string 3つがあるっぽい。この内、buffer-stringは文字列のテキスト属性をもってるため、そのまま…

「オブジェクトのメンバ関数に互換性のない型修飾子があります」というエラー解決

C++

Visual Studioでこんなエラーが出た。 オブジェクトにメンバ関数と互換性のない型修飾子がありますこれの解決方法は、 例えば、こんなソースがあったとする。 //Coordinate.h #if !defined(___COORDINATE) #define ___COORDINATE class Coordinate { double …

mapcarの使い方メモ

org-directoryをmapして(?)結合させたい場合 (setq org-directory "C:/Dropbox/Document/org/") (mapcar #'(lambda (x) (concat org-directory x)) '("todo.org" "labo.org" "home.org")) ;=> ("c:/Dropbox/Document/org/todo.org" ;"c:/Dropbox/Document/or…

smartchrの設定例

Emacs Advent Calendar jp: 2011 : ATNDに初参加です。そして遅れてすみませんでした...。28日目はd:id:k1Lowさんの空気のようなEmacs Lisp -2011 冬-です。自分が書く内容はsmartchr.elの設定例が出来上がってしまいましたので、smartchr.elの設定を記事に…

Scribbleの実行のやり方

Twitterで謎の一文(↓)が、あってscribbleというものを調べてみたらほんとにあった。 racketのscribbleいいなぁ。chibi-schemeもこれでマニュアル書いてるし、OOoから乗り換えようかな。2011-10-25 19:31:58 via webScribbleというのはRacketというScheme処理…

TopCoder SRM 152 DIV2 を解いた

250ptと500ptは解いた。 英語読むの大変だった...。250ptは不動点というものを求める問題らしい。 x=0.25と、Rが引数として与えられて、f(x)=R * x * (1 - x) を200000繰り返して、そのあとの200001〜201000の範囲の最大値と最小値の差を求める問題。 500pt…