2013-11-26

macでminisat入らん

$ cd minisat/core
$ gmake rs

Linking: minisat ( /Users/~/Downloads/minisat/core/Main.o /Users/~/Downloads/minisat/core/Solver.o )
Undefined symbols for architecture x86_64:
"Minisat::memUsedPeak()", referenced from:
printStats(Minisat::Solver&) in Main.o
"Minisat::parseOptions(int&, char**, bool)", referenced from:
_main in Main.o
"Minisat::setUsageHelp(char const*)", referenced from:
_main in Main.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
gmake: *** [minisat] Error 1

...macでTestしたいのだが、minisat makeできない。
glucose はmakeできたので、フォーマット合わせれば出来るけど。

まわりくどいｗ

2013-10-10

プログラミング嫌いになるタイミングの話。

LOST IN TIME 「誰そ彼」

LOST IN TIME 「誰そ彼」MV - YouTube

じーん

NewAlbum『LIFE IS WONDER』が発売なんすよ。テンション上がってんすよ。

///////////////////////////

話は本題。

先日久しぶりのプレゼミで、

教える立場になって

気づいた点を残しておこうと思う*1のだが、

学生目線で

プログラミング嫌いになるターニングポイントだと思う所がある

ほんまに初歩の段階で

そりゃあ2ヶ月空いたら誰も学んだコトなんてそれ程impactがない限り覚えてないですって。*2

今回はint配列のSortingに対し、素朴な解法をしようというのが今回の課題だったのだが、

教える側としては、綺麗なコード*3で解法するが

そもそも演算子を忘れてしまっている。とか

綺麗なコード程抽象的に整理されていて理解しにくい。とか

自分でprint.outして具体化して、アルゴリズムをイメージする方が口頭で言われるよりも入ってくると思うのだ。*4

そして「あぁこの子はプログラミング嫌いになりそうだなぁ」っていう臭いがする子は

あーわからんわからん。ってわからずに適当に値を変更しては実行する作業を繰り返す。

つまり、

どこで私がつまづいているのかがわからない状態(これをハマるって言うんだが)

に陥ってしまっている。

一言言わせてもらうと、

Calm down !

まず深呼吸して、頭の回転がちょっと止まってるだけだから！

この状態の時はほんの小さなミスが多い。*5

ほんの小さなミスで「できない、オレセンスない」っていう思考回路になって欲しくない。

私はそう思う。

//////////////////////////

*1:: 私もそこまで高度なコトは出来ないのだが、研究室とはそういう所だ

*2:: あなたは英単語を覚えて、2ヶ月何もせずとも全て覚えていますか？

*3:: 二重ループとスワッピング

*4:: そう、イメージして理解することが出来ていないのだ

*5:: 誰もが「なんでこんなミス」って思うよくある経験談だ

2013-10-09

hashmapについて

友人宛にアドバイス
//sat 1,2
//CutSet 81,95
//これらを対応させたい
//2つのMapで管理する
//Map
HashMap satAndCutSetMap = new HashMap();
satAndCutSetMap.put(1, 81);
satAndCutSetMap.put(2, 95);
HashMap cutSetAndSatMap = new HashMap();
cutSetAndSatMap.put(81, 1);
cutSetAndSatMap.put(95, 2);
System.out.println("test:"+satAndCutSettMap);
System.out.println("test:"+cutSetAndSatMap);
//1から81が欲しい場合→key=1
System.out.println("test:" + satAndCutSettMap.get(1));
//同様に81から1が欲しい場合
System.out.println("test:" + cutSetfAndSatMap.get(81));
///////////////////
//コンソール
//////////////////
//test:{1=81, 2=95}
//test:{81=1, 95=2}
//test:81
//test:1
//////////////////