2012-09-01から1ヶ月間の記事一覧

readで([ [String] ] -> [ [Int] ])の変換

String を Intに変換するやり方を教えてもらって、分かったのでメモしとく。 {- --間違った書き方 test_1 :: [[String] -> [[Int]] test_1 = map (\x -> map (\y -> read y :: Int)) [["123", "12"], ["234", "324"]] -} test0, test4 :: [[Int]] test1, tes…

HaskellのStringからIntへの変換

AtCoderで問題を解いてる時に、HaskellでStringからIntへの変換がわからくて困った。確かこれはujihisaさんに教えてもらったようなそうでなかったような...。とにかくメモとして残しておく。 StringからIntへの変換方法 Haskellで文字列StringをIntなどの整…

NXTでのmake、uploadの手間を省く方法

NXT

結論から書くと alias mas='make all && sh rxeflash.sh' alias mcas='make clean && make all && sh rxeflash.sh' を/home/(ユーザー名)/.bashrc にコピペしておいて、cygwin再起動をする。それから$ mas でmakeとアップロードができたり、$ mcas でクリー…

NXTでData abortなる例外が...

NXT C

めんどくさいことにData abortなるセグフォ(Segmantation Fault)を起こしてしまった。原因は構造体の代入をやり忘れてたから起こったことだった。 再現しようと思ったらものすごくめんどくさかった...。でもまだちゃんと実行してない...。 balanceRunner.tai…