オタクはすぐ熊本に行く

この記事は PMOB Advent Calendar 2016 の 25 日目の記事です.

 

12/10~12の3日間熊本に行ってました.

12/11にMission Day Kumamotoが開催されるのでそれに合わせて行ってきました.

 

missiondaykumamoto.splashthat.com

 

熊本空港に着くとくまモンがお出迎えしてくれました.

 

f:id:cohalz:20161213220036j:plain

 

空港から市内へ...ではなく,ちょうど12/10から青春18きっぷが利用可能だったので,博多の近くまで電車で行きました.

博多ラーメンもスープからめちゃ美味くて,明太子もふんわりとしてて美味しかったです.

 

 

 

そんでもって12/11から熊本散策開始しました.

熊本城入り口の城彩苑というところで,ペットボトル3000本を使った熊本城を見たり,

 

 

熊本の郷土料理を食べたりしました

 

 

 

 

熊本城ではかなりの部分が通行止めになっていたんですが,その理由は現地を歩いてみればすぐわかりました

 

f:id:cohalz:20161213221307j:plain

 

 

 

f:id:cohalz:20161213221422j:plain

 

まだまだ復旧の目処が立ちそうにない状況でした.

 

市内の街は路面電車が走ってたり美味しいラーメン屋が多く立ち並んでいたり,古いゲームが置いてある店があったりと中々珍しいものを見れました.

 

 

 

 

 

 

熊本ではふっこう割で元の旅行代金の半額近くが割り引かれるのでかなり安くいけます.

2泊3日の飛行機とホテルの料金で合計1万6000円ほどで行けたのでかなりお得です.

ふっこう割は今年中で終わりますが,もし都合が付く人がいればぜひ熊本へ!

ぼくも散歩しました

この記事は PMOB Advent Calendar 2015 の 25 日目の記事です.

 

散歩エントリが羨ましいのでTwitterから散歩の記録を取ってきました(写真のあるもののみ載せてます) 

 

1月2日 奈良公園

 

1月4日 彦根

 

1月5日 熱田神宮

 

1月6日 小田原

 

1月8日 忍城

 

1月10日 横須賀・猿島

 

2月2日 越生

 

2月8日 浅草

 

2月9日 滑川町 

 

2月16日 大平山

 

2月23日 東京電機大学千葉ニュータウンキャンパス

 

3月2日 東村山

 

3月7日 町田

 

3月15日 鶴見

 

3月22日 養老

 

3月23日 樽見

 

3月25日 奈良

 

3月28日 京都

 

3月29日 大阪

 

3月30日 姫路

 

3月31日 岡崎

 

4月5日 江ノ島

 

4月5日 東松山

 

4月7日 横須賀

 

5月3日 長瀞

 

6月13日 ときがわ町

 

6月20日 仙台

 

6月21日 石巻

 

6月27日 東京都庁

 

7月4日 横浜

 

7月5日 秋葉原

 

7月30日 お台場

 

8月3日 鴻巣

 

8月16日 東京ビッグサイト

 

8月24日 横須賀

 

8月29日 伊香保

 

9月2日 松戸

 

9月5日 松本

 

 9月6日 大阪

 

9月7日 甲府

 

9月12日 天王洲アイル

 

9月14日 青梅

 

9月18日 幕張

 

9月20日 上福岡

 

10月24日 横浜

 

11月15日 草津

 

11月21日 東京大学駒場キャンパス

 

11月21日 電気通信大学

 

12月11日 沖縄

 

12月12日 沖縄

 

12月13日 沖縄

 

お金がない 

Abaddonについて

この記事は Ingress Advent Calendar 2015 の 19 日目の記事です.

 

自己紹介

埼玉県で活動しておりますcohalzです.

f:id:cohalz:20151219220709j:plain

 

沖縄へ

沖縄へは前日金曜日の午前11時に到着しました.

土曜日日曜日はチームの人とIngress三昧になることを予想してソロで沖縄を楽しんでました.

首里駅付近で首里そばという店に行き,首里城へ行ったりなどしました.

当日計測前

受付開始が9時だったのが8時30分に早まったこともあり早めにホテルを出ました.

事前に買うパックは,Rareを買うつもりでしたがだいぶ出遅れたためRareが売り切れだったのでVery Rareパックにしました.

Rareは受付が2列でしたが,Very Rareは1列だったので順番とか少し混乱してた気もします.

 

Very Rareはリストバンドが他とは見た目も違っていて,アフターパーティーの特別席や頒布会の優先購入,MUFGカプセルくじができるという特典付き.(優先購入については知りませんでした)

f:id:cohalz:20151219222933j:plain

 

頒布会は今までのAnomalyに比べてあまり並んでなかった印象がありました.

個人的な感想としては,今回の受付で頒布する方がとてもスムーズでよかったと思います.

 

台湾のブースでバッジを買いました.

レゾが台湾の形してるのがとても可愛いです.

f:id:cohalz:20151219223546j:plain

 

MUFGカプセルくじ,自分は外れましたが

Very Rareパックを30個買った人は当たったらしいです...

 

f:id:cohalz:20151219230355j:plain

 

計測中

C1は担当ポータルの耐性管理をしていたら@mehoriさんが同じ場所の担当だったらしくびっくりしました,基本的には計測中US打っていましたが色は変わらず...

C2はクラスタ外のvolatileポータルを抑えるため耐性管理している人を見つける作業から入りました.たまたま連絡の取れる人が通りがかったため管理を続けそのまま抑えました(緑AGはいませんでした)

C3はGORUCKの人たちの集合場所が担当だったため,耐性管理が無駄になってからのスタートでした.計測時間中はGORUCKの人たちはいなくなったものの,着々と緑CFが貼られ10分間落とせず取られました.

C4はC3担当の近くにクラスタ外のvolatileポータルがあったので,それを取るつもりでしたが緑AGが見当たらなかったため近くのvolatileも取りに行こうと走り回りました.

Ingressのために体を鍛えることを決意しました...

 

青AGに比べて緑AGの数がとても多くて,京都以上に厳しい戦いでした.

コツコツと貯めていたUS8が400本消えていきました...

 

アフターパーティー

オープニングのエイサー踊りから非常に盛り上がりました.

非常に小さい子どももしっかり太鼓を持ち踊りながら叩いていたのは非常にびっくりしました.

f:id:cohalz:20151219230920j:plain

 

その後はいつもの立川こしら師匠.

モバイルバッテリーの持ちすぎで手荷物検査に引っ掛かったなどの「足を引っ張ったAG」ネタは結構ウケました.

 

f:id:cohalz:20151219232419j:plain

 

その後はIngress流行語大賞というコーナーの一つに伊藤園の「ガ茶」が選ばれたり,

株式会社ナイアンティックの社長村井さんが出てきたりなどのコーナーが有りました.

f:id:cohalz:20151219233335j:plain

f:id:cohalz:20151219233507j:plain

 

Enlightenedの勝利の瞬間.緑にライトアップされました.

 

f:id:cohalz:20151219233642j:plain

 

結果発表が終わり,解散というところでADAから「Hack this portal.」というメッセージが聞こえ,ポータルをハックするとmediaが.

f:id:cohalz:20151219234101p:plain

 

内容は,ADAが「Enlightenedよ,私に何をしたのですか?」という悲痛なメッセージが流れ続けるというもの.

Resistanceとしては心が痛みます.

 

各地で使われていたNiantic Beaconが気になってStoreを開いたら

「ANOMALY PACK」なるものが売られていることに気が付きました.

f:id:cohalz:20151219234744p:plain

 

せっかくなので買っちゃいました...

f:id:cohalz:20151219234837p:plain

 

ミッションデイ

メダルはPersepolisの時にもらいましたが,どうせ沖縄を巡るしやろうということでミッションデイもやりました,

国際通り付近のミッションと泊大橋と奥武山公園,漫湖公園で計9つのミッションをやりました.

また,美栄橋駅に向かう際にジュンク堂を見つけてしまいIngress公式小説を買ってしまいました...

泊大橋ミッションでは海も見ることができました.

やっぱり色が違いますね.

f:id:cohalz:20151219235923j:plain

 

 

というわけでAbaddon沖縄非常に楽しめました.

Ingressがなかったら沖縄を始めいろんな場所を巡って楽しむことはなかったと思います.

ありがとうございます.

もぶぴーについて

この記事は PMOB Advent Calendar 2015 の 19 日目の記事です.

 

もぶぴーとは?

TLのツイートからマルコフ連鎖で文章を組み立てて呟くbot

f:id:cohalz:20151219214115p:plain

ようするにしゅうまい君

 

twitter.com

 

ちなみにTwilogとaclogに登録済み

http://twilog.org/MOBP_

http://aclog.koba789.com/MOBP_

 

そもそもマルコフ連鎖とは

ツイートを形態素解析して4つ(3つでやるのが主流?)ごとの組を作りDBに保存

例: ツイートが「もぶぴーとかいうやつなんだ」なら

(もぶぴー, とかいう, やつ, な)

(とかいう, やつ, な, ん)

(やつ, な, ん, だ)

をDBに保存する

f:id:cohalz:20151219211818p:plain

ツイートする際は最初のレコードを適当に選び,4つ組の最後の単語で始まるレコードを探して繋げる

(もぶぴー, とかいう, やつ, な) が最初に選んだレコードなら,「な」から始めるレコードをランダムに選んで文章を繋げる

下の画像で(な, 言葉, 覚え, ちゃっ)を選んだ場合であれば「もぶぴーとかいうやつな言葉覚えちゃっ」という文字列が作られる

このように探していき,最後の単語が空のレコードを引くまで続け文字列を作っていく

 

f:id:cohalz:20151219212903p:plain

 

で,なにをどうした

まずフォーク

takuti/twitter-bot · GitHub

 

mecab-ipadic-NEologdが使いたかったので形態素解析にIgoではなくMeCabを使うよう変更

 

大量のTweetを保存するためにDB(MySQL)を使用

 

何か障害あった場合に自動で再起動するために,起動時に前のプロセスを終了させるように

 

 生成された文章が長くなった場合は,数回再試行して短いツイートが出たらそれを使うように

 

リプライで貰った単語に対応した返答するために,リプライ内容に含まれる名詞からランダムに選びレコードの1番目と2番目の単語と一致するレコードを探して最初のレコードを見つけている

見つからなかった場合はランダムに選ぶように

起動時にTLの単語を拾ってツイートするのもその応用

 

マルコフ連鎖する際,ランダム取得するためにMySQLでorder by rand()するととても遅くなってしまう(全件取得)ため,where句に rand() <= 定数 limit 定数を追加してある程度のランダム性を犠牲にして速度を向上(普段いじっているのは定数パラメータ調整が多い) 

 

リポジトリはこちら 

cohalz/MOBP · GitHub

ナブラ演算子ゲームを遊びました

この記事は PMOB Advent Calendar 2015 の 7 日目の記事です.

 

先日東京大学第66回駒場祭にてナブラ演算子ゲームを手に入れたのでサークルで遊んでみました(PMOB要素終わり).

 

ナブラ演算子ゲームとは

nablagame.com

です.

 

ここではルールの説明はせず各カードの雑感を書きます.

0 (枚数: 2)

言わずと知れた最強カード.

そのまま基底にすることはできないが,×カードと同時に相手の場の基底に作用させることで一つの基底を必ず消すことができる.

忘れがちだが,0 ÷ (基底) も可能であるため÷でもコンボが可能.

2枚しかないので計画的に.

1 (枚数: 2)

0よりかは地味だが基底に追加することで命をつなぐことができる.

1 ÷ (基底) により,1 / xのような微分に強い基底を作るという事もできる.

実は2枚しかないので単純に基底に追加するのはやめた方が良いかもしれない.

x (枚数: 8)

最も枚数が多い関数カードであり,一階微分で死なないのが特徴である.

単純に基底に追加するも良し,掛けたり割ったりして攻守ともにできるカード.

x^2 (枚数: 3)

ラプラス演算子を使われても生き残るカード.

xを積分することでx^2になることから線形従属ルールにより1枚退場されることが多いであろう不憫な関数. 

sin(x) (枚数: 3)

微分(特に2階)に強いカードその1.

0の極限には弱いがx / sin(x)やsin(x) / xとすると1が残るため狙うと良い.

振動するため±∞の極限攻撃の対象にできないのもポイント.

cos(x) (枚数: 3)

微分(特に2階)に強いカードその2.

0の極限にも耐えられるうえ,±∞の極限にも強い.

xと掛け合わせるとlim supやlim infにも耐えられるが,0の極限には弱くなってしまうので注意. 

e^x (枚数: 3)

微分積分が効果ない上に0の極限にもなんとか耐えられるカード.

logを作用させることでxとなり弱体化する.

× (枚数: 5)

基底と関数を掛けるカード.

様々なカードと組み合わせて強化弱体化が可能なため万能. 

÷ (枚数: 5)

基底と関数を割るカード.

割る順番は指定できるため,意外と強化に使いやすい.

枚数は多めのためあらかじめ分数の関数の性質を調べておくと吉か.

f^-1 (枚数: 2)

基底の逆関数を取るカード.

複雑化する関数もあるため使いどころが難しい.

三角関数の性質あまり調べてません...

√ (枚数: 2)

基底の平方根を取るカード.

強制的に-∞の極限から守る事ができる上,高い次数の基底に作用させるという手もある.

負数の扱いには慎重に. 

lim +∞(枚数: 2)

+∞の極限を取るカード.

振動さえしなければ収束か発散をするためかなり強いカード.

定義域に正が含まれない関数はめったに作れないため安定して効果がある.

lim -∞(枚数: 2)

-∞の極限を取るカード.

同じく強いカードではあるが,定義域に負が含まれない関数にも使えないため注意.

lim 0 (枚数: 3)

cos(x)およびe^x関連の基底でなければ収束発散で退場させることができる.

退場できないカードについてもあらかじめxを掛けあわせておくということで対処できる.

lim+∞ sup (枚数: 1)

基底の上極限を取るカード.

振動していても使えるため,実質すべての関数を退場及び定数化できる(はず?).

1枚しかないため計画的に.

lim+∞ inf (枚数: 1)

基底の下極限を取るカード.

こちらも実質すべての関数を退場及び定数化できる.

d/dx (枚数: 8)

微分させることができるカード(連続使用可).

1を0にさせることもあれば線形従属させて退場もある.

手札にこのカードが多い場合は連続使用して手札を一新させるという事もあり. 

∫ (枚数: 10)

実はこのゲームにおいて一番多いカード.

知識がある人は積分を使って耐性のある関数を作ることができるかもしれない.

自信がない場合はwolframalphaを使って何になるか確認した方がいいかも. 

∇ (枚数: 10)

∫と同じく10枚のカードであり,自他どちらかのすべての基底を1階微分する.

強力で枚数も多いが,それまでに微分耐性のある基底を作成できると流されずに済む.

∆ (枚数: 2)

自他どちらかのすべての基底を2階微分するカード.

場の基底が1,xになった時に使うと勝つことができるため,一番意識を向けないといけないカード.

2枚しかないため枚数の把握が余計な手を減らす第一歩かもしれない.

 

という感じです.

鳩山の人は遊びましょう.

有識者に質問

xsin(x)とかって微分したら基底って増えますか?

PMOBとは

この記事は PMOB Advent Calendar 2015 の 1 日目の記事です.

 

PMOBとは

東京電機大学理工学部で活動している情報/理学分野のサークルです.

他大学のM◯AやらK◯Cやらみたいな団体目指して作りました.

11/1 ~ 3に行われた第39回 鳩山祭で部誌を配布しました.

↓ こんな表紙の ↓

f:id:cohalz:20151130234159p:plain

内容はWebからでも読むことができます.

hato-magazine-01

 

普段はSlackで何かしら話題を出して盛り上がったり,

f:id:cohalz:20151130234933p:plain

あとはつい最近小規模のLT大会をしたり.

 

@千住の人とか千葉の人 LT大会あればうちからそこそこ参加する予定なのでよろしくお願いします.

 

気になって参加したいという人は

http://pmob.slack.com へどうぞ

(@ms.dendai.ac.jpマンなら入れます)

 

 

OS X YosemiteにGHC 7.10を入れてVimプラグインを動かすまで

GHC 7.10になったし触ってみようとインストールした時のメモ.

現時点でOSのバージョンは10.10.3.

まず以下のとこからとかでGHC取ってくる.

Haskell for Mac OS X, self-contained relocatable GHC builds

ちなみにbrew cask install ghcで落ちてくる奴はこれ.

ghcformacosxから落としてきた場合, アプリケーション起動すると以下の画面になるので設定する.

f:id:cohalz:20150502165513p:plain

設定したらcabalで必要なもの取ってくる.

cabal update
cabal install happy
cabal install ghc-mod

んだけど,ghc-modで何故かコケる.

調べてみるとissueにもなってるらしく対策があった. github.com

以下のコマンドで入る.

git clone https://github.com/kazu-yamamoto/ghc-mod.git
cd ghc-mod
cabal sandbox init
cabal install
cp .cabal-sandbox/bin/ghc-mod{,i} /usr/local/bin

これでうまくいった.

お次はhoogle.

cabal install hoogle
hoogle data

問題なく行くはず.

ここからVimの設定.

上でsandboxを使ったghc-modだとバージョンが0扱いになっており,

ghc-modを使ったプラグインが低バージョンと判断し無効化されてしまう.

具体的にはneco-ghcとghcmod-vim.

なのでそのプラグインに関してはバージョンチェック機能を切ったものを使う.

NeoBundle 'eagletmt/neco-ghc','master'
NeoBundle 'cohalz/ghcmod-vim'

ちなみにこのghcmod-vimは:GhcModTypeをマッピングしてあり. ノーマルモードでTabを押すと関数名と型を表示する. f:id:cohalz:20150502175215p:plain

これで動いた.

最後に入れてるHaskellプラグイン一覧

NeoBundle 'cohalz/vim2hs'
NeoBundle 'eagletmt/neco-ghc','master'
NeoBundle 'cohalz/ghcmod-vim'
NeoBundle 'kana/vim-filetype-haskell'
NeoBundle 'ujihisa/ref-hoogle'
NeoBundle 'ujihisa/unite-haskellimport'