オタクはすぐ熊本に行く

この記事は PMOB Advent Calendar 2016 の 25 日目の記事です. 12/10~12の3日間熊本に行ってました. 12/11にMission Day Kumamotoが開催されるのでそれに合わせて行ってきました. missiondaykumamoto.splashthat.com 熊本空港に着くとくまモンがお出迎え…

ぼくも散歩しました

この記事は PMOB Advent Calendar 2015 の 25 日目の記事です. 散歩エントリが羨ましいのでTwitterから散歩の記録を取ってきました(写真のあるもののみ載せてます) 1月2日 奈良公園 いえーい pic.twitter.com/EgLWd6rHIg — 満月の光を浴びるとメロンになる…

Abaddonについて

この記事は Ingress Advent Calendar 2015 の 19 日目の記事です. 自己紹介 埼玉県で活動しておりますcohalzです. 沖縄へ 沖縄へは前日金曜日の午前11時に到着しました. 土曜日日曜日はチームの人とIngress三昧になることを予想してソロで沖縄を楽しんで…

もぶぴーについて

この記事は PMOB Advent Calendar 2015 の 19 日目の記事です. もぶぴーとは? TLのツイートからマルコフ連鎖で文章を組み立てて呟くbot ようするにしゅうまい君 twitter.com ちなみにTwilogとaclogに登録済み http://twilog.org/MOBP_ http://aclog.koba78…

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

この記事は PMOB Advent Calendar 2015 の 7 日目の記事です. 先日東京大学第66回駒場祭にてナブラ演算子ゲームを手に入れたのでサークルで遊んでみました(PMOB要素終わり). ナブラ演算子ゲームとは nablagame.com です. ここではルールの説明はせず各カ…

PMOBとは

この記事は PMOB Advent Calendar 2015 の 1 日目の記事です. PMOBとは 東京電機大学理工学部で活動している情報/理学分野のサークルです. 他大学のM◯AやらK◯Cやらみたいな団体目指して作りました. 11/1 ~ 3に行われた第39回 鳩山祭で部誌を配布しました…

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で落ちてくる奴は…

TDU FEN #4 に参加してきました

TDU FEN #4 (2015/04/18 14:00〜)fen.connpass.com 参加してきました. しょっぱな一番手でLTしてきました. speakerdeck.com 内容としてはGitHub使いこなせてない人は,Vimプラグインをforkして 書き換えちゃったりすれば他の人にも使えて便利だよという感…

自慢

ここにポータルキーがあるじゃろ? pic.twitter.com/ECg41kIyP2 — グリフマスターこはる (@cohalz) 2015, 2月 13 これを pic.twitter.com/5ee9Zgfv1y — グリフマスターこはる (@cohalz) 2015, 2月 13 こうして pic.twitter.com/ZGK1lvohxn — グリフマスター…

二年次後期雑感

二年後期の講義がすべて終了したのでメモがてら雑感を. 履修は以下の様な感じ 位相空間Ⅰ 距離空間に関しての話.距離空間の定義から始まり開集合,完備距離空間,コンパクト,連続写像の5つに関して定理とその証明を行う. ε-N,ε-δをよく使うので前期の解…

高坂ポータル近況

前回鳩山キャンパスにおいでよ Ingressができるよ - cohalzにてざっくりと最寄り駅である高坂ポータルの紹介をしました. あれから若干変更点があったので報告です. 新規ポータル 新しく「大地」というポータルができました. 場所は駅からすぐのバス停付近…

鳩山キャンパスにおいでよ Ingressができるよ

この記事は,TDU Advent Calendar 2014 – Adventar12日目の記事です. 鳩山キャンパス情報システムデザイン学系2年のcohalzです. 鳩山キャンパスで何が熱いかというともちろんIngress. 僕も10月に始めて今はL9のエージェントになりました. Ingress開始し…

進捗ダメです