みずぴー日記

陽気なプログラマが世界を廻す

📚Prpr設計判断

Prpr: bot for github pull requestに、こういう設計にした理由について書くのを忘れていた。 gemプラグイン gemで動作を追加できるようにするのは当初から計画していた。ただ、まずは一つのgemとして作って後から分割するか、最初から複数のgemとして作る…

🍮 Prpr: bot for github pull request

prprというgithubのプルリクエストに反応するボットを作った。 プルリクエストに関する運用が増えてきたので、ガーっと作った。 プラグイン gemを追加することで、挙動を追加できる。 source 'https://rubygems.org' ruby '2.2.3' gem 'prpr' # メッセージの…

🐸FlickSKK 1.4.1: 細かな修正

iOS用SKK: FlickSKKにいくつかの修正を行ない、1.4.1としてリリースした。 iPhone 6sがそろそろ発表される気配があるので、その前に修正をリリースしておきたかった。 https://itunes.apple.com/jp/app/flickskk/id944678753?mt=8 修正内容 補完候補を半透明…

⌚️進捗どうですか

AppleWatchアプリの練習で、アリスもしくはカレンが進捗を問い詰めてくるアプリを作った。 作ったのがWWDC2015前なので、watchOS 2ではない。 グランス 「進捗を大きくする」というメッセージとともにこれがコミットされてた pic.twitter.com/jhVRvYp4gw— mz…

FlickSKK 1.4: 追加辞書対応

iOS用SKK: FlickSKKに追加辞書機能を追加し、1.4としてリリースした。 https://itunes.apple.com/jp/app/flickskk/id944678753?mt=8 新機能: 追加辞書 これまでFlickSKKで使えたのはL辞書とユーザ辞書のみだったが、今回から任意のSKK辞書を追加できるようし…

2000年ごろのインターネットを懐しむ会 #インターネット老人会

2000年ごろのインターネットを懐しむ会を開催した。 発端 @bleis 懐古の会、そのうちやりましょう。— mzp (@mzp) 2015, 5月 6 @bleisのプロジェクトが一段落したらやる計画だったが、色々あってプロジェクトが終わる前に開催することとなった。 なお開催日の…

🔡AquaSKK 4.2.6(コード署名の追加)

MacとiOSの開発プログラムが統合されMac用アプリにコード署名が行なえるようになったので、AquaSKKのインストーラにコード署名を行なった。 簡単に言うと以下の警告がでないようになった。 ダウンロード https://github.com/codefirst/aquaskk/releases/tag/…

WWDC合宿

WWDC外れたので,日本でWWDCキーノートをみてSDKダウンロードして,今年から配信のセッション動画ストリーミングもみつつ,なんかつくる合宿というのをやりたいけど,そういうのできそうな宿とかコワーキングスペースがないものか。— ばんじゅん(!!) (@banju…

🚲 ムーブゴール400%バッジ

AppleWatchのアクティビティのムーブゴール400%バッジを獲得した。ムーブゴールは560kcalに設定しているので、2240kcal消費したことになる。 毎年スズカ8時間エンデューロにチームで出場しているので、獲得を目指してがんばってみた。たぶん、こういう機会で…

🎁ステッカーデータ

これまでに作成したステッカーのデータをまとめて公開する。 すべてAdprintに入稿したデータである。 関連 一枚6円から始められるステッカー作り - みずぴー日記 とげ https://github.com/mzp/sticker-data/blob/master/toge.ai じぇねらるたん https://gith…

オープンソースカンファレンス Nagoya 2015「クラウドサービスを活用した開発環境」 #oscnagoya

謎セッションだ 講師: mzp/水野洋樹(ocaml-nagoya) 司会:法林浩之(日本UNIXユーザ会) https://t.co/EeN5Noyr9U— てるろー (@terurou) May 22, 2015 オープンソースカンファレンスNagoya 2015の日本UNIXユーザ会のゲストスピーカーとして発表を行なった…

AquaSKK 4.2.5(LINE.appでの動作改善)

LINE対応 by jbking · Pull Request #13を取り込んだので、リリースを行なった。(thx to jbking) ダウンロード https://github.com/codefirst/aquaskk/releases/tag/4.2.5 変更内容 Mac版のLINE 4.0.0以降で、l/q/Lなどによる入力モードした場合、l/q/Lなど…

FlickSKK 1.3: 補完の強化

英語キーボードに切り替えることなく、FlickSKKで完結するようになった -- @banjun 凛しってるよ!最高のITSとカンバンとDVCSだけでは最高の開発環境にならないってこと!— ばんじゅん(!!) (@banjun) 2015, 3月 20 iOS用SKK: FlickSKKに記号入力と入力中補完…

Amazon EC2 スポットインスタンスを開発環境にする

2015.10.28追記: これを題材にしてLTをした。 最近、スポットインスタンスで開発環境を作って、そこにsshでつないで作業することが増えてきた。 ローカルのマシンのスペックに左右されないし、バッテリーの消費も抑えれる。さらに、c4.large(2CPU; メモリ 3.…

ウェイウェイ

「ウェイ」等に反応してメッセージを返すrubotyプラグインを作った。 インストール gem 'ruboty-wei', github: 'mzp/ruboty-wei' ソースコード https://github.com/mzp/ruboty-wei 「ウェイ」等にマッチする正規表現 今はこんな感じになっている。どんどん発展させ…

ruboty-growthforecast

GrowthForecastから値を取得して表示するrubotyプラグインを作った。チャットから雑にユーザ数などを確認できるようになった。 インストール方法 gem 'ruboty-growthforecast' 使い方 gf show <service_name>/<section_name>/<graph_name> [format] format部分にはERBが使えるので任意の文字列を表示</graph_name></section_name></service_name>…

☕️ 郵便番号

ajaxzip3を使うのが辛くなってきたので、郵便番号を検索する部分だけを取りだしてnpmからインストールできるようにした。 npm: https://www.npmjs.com/package/japan-postal-code Github: https://github.com/mzp/japan-postal-code こんな感じで使う。 var …

SKKをメンテナンスする人たち

ことえりは死んだ。AquaSKKも死んだかに見えた。だがAquaSKKは復活したのである。— ばんじゅん(!!) (@banjun) 2014, 10月 22 SKK、依存性が高いので、メンテナンスが止まると自分でパッチを書く羽目になる。(書いた)— みずぴー (@mzp) 2014, 10月 22 真に開…

浜松Ruby会議01: Rubyistのための型入門 #hmrk01

浜松Ruby会議01に参加しました。 浜松のPython勉強会、Unagi.py、最高に名前がズルい #hmrk01— みずぴー (@mzp) March 28, 2015 発表資料『Rubyistのための型入門』 https://speakerdeck.com/mzp/rubyistfalsetamefalsexing-ru-men 原稿 上記の資料を作る前…

ruboty-shinchokuを作った

進捗どうですか から画像を取得して、表示するrubotyプラグインを作った。 ソースコード https://github.com/mzp/ruboty-shinchoku 仕組み http://shinchokudodesuka.tumblr.com/random でランダムにポストを表示できるので、そこから画像を取得している。 …

AquaSKK 4.2.4(IntelliJなどの一部Javaアプリケーションへの対応)

IntelliJとAquaSKK、相性悪いなー 日本語書かなきゃいいんだろうけど。。— すぎゃーん (@sugyan) 2015, 3月 19 の修正です。 ダウンロード https://github.com/codefirst/aquaskk/releases/tag/4.2.4 変更内容 IntelliJ IDEA等の一部アプリケーションで、l/q…

iTerm2/Apple TerminalでAquaSKKを使う

今ってAquaSKKでiTermのctrl-j問題を回避するにはどうしたらいいんじゃろか— ゆーけー (@ukstudio) November 17, 2014 あたりの解決策。 問題点 iTerm2 + AquaSKKには以下の問題がある。なお、前者の問題はApple Terminal(Terminal.app)にもあるので、まとめ…

FlickSKK 1.2: 更に流れるような日本語変換

iOS用SKK: FlickSKKを1.2にバージョンアップした。変換候補表示を改善し、SKKの特徴である流れるような日本語変換を強化した。 https://itunes.apple.com/jp/app/flickskk/id944678753?mt=8 変換候補表示UIの改善 前バージョンでは変換候補が3個目以降になる…

FlickSKK 1.1

iOS用SKK:FlickSKKをバージョンアップした。主に単語登録のためのUIを追加・変更した。 https://itunes.apple.com/jp/app/flickskk/id944678753?mt=8 変更内容 設定アプリからの単語登録、削除 設定アプリから単語登録、削除をできるようにした。 別の場所か…

HTML5によるPodcastプレイヤー

Podcast Player HTML5でPodcastを再生するアプリを作った。 操作なしで連続再生するようにしたかったので、以下のような仕様になっている。 URLを指定すると上から順に再生する。 番組名をクリックするとそこからの再生する。 再生エリアをクリックすると次…

iOS用SKK: FlickSKK

10月ごろから作っていたiOS向けのSKKであるFlickSKKをリリースした。 フリック入力で使えるようにしているので、iPhoneのような小さい画面でも使いやすいと思う。 https://itunes.apple.com/jp/app/flickskk/id944678753?mt=8 フルキーボードでない、ローマ…

AquaSKK 4.2.3(Retina対応)

ダウンロード https://github.com/codefirst/aquaskk/releases/tag/4.2.3 変更内容 AquaSKKスレでRetina版アイコンを作ってる方がいたので、そのアイコンを取り込んだ。その影響でフォントが変わったけど、こっちのほうがフラットな感じがしていいと思う。 …

HaskellでOSを作る試み

函数型なんたらの集い 2014 in Tokyo - connpassで、前にやっていたajhcでmini-osを書いていたときの話をしてきた。 下書き せっかく書いたので発表のときの下書きをそのまま載せておく。 スライドを作るときに一部変えたり、下書きの段階では図をいれてなか…

夏休みの終わり

今日まで有給消化期間ので、いろいろ旅行してきた。 旅行中に作った物は別の記事を書く。 バルセロナ(スペイン) いい機会なので、昔から見たかったサグラダファミリアを見に行ってきた。何度か海外旅行に行っている@knhrさんと行ったので、チュートリアルっ…

近況報告

もろもろ思うこと(例: http://blog.exoego.net/2014/01/static-code-analysis-may-save-mzp.html とかです)があったので、5年ほど勤めたSIerをやめることにしましたので、本エントリをもって関係各所への連絡へ代えさせていただきます。 正確には本日(9月12…

AquaSKK(OS X yosemite対応版)

サマリ yosemiteでAquaSKKが動かないとのウワサを聞いて悲しみにつつまれている。— みずぴー (@mzp) August 6, 2014 AquaSKKが動かないとYosemiteに移行できないので、@banjunに教えてもらいながらパッチを作った。バイナリも含めてGithubで公開している。 h…

VR世界に美少女アニメポスターを貼る

【ニコニコ動画】仮想世界で美少女アニメポスターに囲まれてみた 要約 「週末はなにをしてたんですか?」「ゆるゆり画像を自分のまわりで回してました」— みずぴー (@mzp) 2014, 7月 26 概要 部屋にポスターを貼りたくはないけど、ポスターを貼ったときに得ら…

VR世界で女の子の頭をぐりぐりする

OculusRift DK1やLeapMotionでワイワイ遊んでいた成果物をまとめました。 Tuneちゃんの頭をマウスやLeapMotionでつかんで、ぐりぐり動かせます。 配布ページ WebPlayer http://mzp.github.io/vr-guri-guri/ ソースコードの公開は諸事情により公開を停止しま…

AppleTV優先権問題を解決する

以下のことを可能にするアプリを作りました。 AppleTVをテレビにつなぐ 同じネットワーク内でホストとなるPCを立ち上げる iPhoneから曲をPCに転送する PCが、転送された順に音楽をAppleTVでAirPlayする これによって21世紀のチャンネル権戦争ことAppleTV優先…

大学の同期(jq2nur)のつぶやきまとめてみた〜混迷の時代を生き抜くために〜

大学の同期の@jq2nurのtweetがハンパない鋭さを誇っているので、まとめてみました。 混迷の時代を生き抜くヒントになると思います。 プロジェクト管理 地震でオフィスが使えなくなったけど、それでも納期は伸びなかったのでパイプ椅子と長机の仮オフィスに通…

Coqチュートリアル: @zakky_devさんが証明をできるようになるまで

先日、東京の会社から名古屋の会社に転職された@zakky_devさんの歓迎会がありました*1 。そこで、@zakky_devさんにCoqでリストの結合則を証明するチュートリアルをやってもらいました。 せっかくなので、そのときの台本を公開します。だいたい30分くらいの内…

タブとスペースの混在を検知してissuesを作るGithub botを作りました

Github上のレポジトリをクロールして、1個のファイルでタブによるインデントとスペースによるインデントを混在しているのを発見すると、issuesを作ってくれるbotを作りました。 作るissuesはこんな感じです。 ソースコード https://github.com/mzp/space_tab…

SML# 2.0 のLLVM出力機能を使って、Hello worldをx86_64環境で動かしてみる

注意事項 とりあえずHello,worldが動く程度です。過度な期待をしないでください。 必要なもの SML# 2.0がインストール済みマシン SML# 2.0のソースコード(ビルドする必要はない) x86で動くOSとx86_64で動くOS*1 x86マシンでの作業 とりあえず最低限のhello w…

compiler-libsによるOCamlコンパイラの改造、もしくはきょんくん結婚祝いLTについて

4月の頭に@kyon_mmさんと@kaori_t_spicaさんの結婚を祝うLT大会 というよく意味が分からないイベントに参加してきました。時間がたってしまいましたが、せっかくなので資料(と補足説明)を公開します。 発表資料 スライド: kyon_mm * kaori_t_spicaにおける中…

ssreflectインストール方法まとめ(Windowsもあるよ!)

「春は証明をはじめる季節」と某氏*1がよくわからないことを言いだしたので、Modern Coqことssreflectの勉強会を開催しました。(スタートssreflect #1) 勉強会にはだいたい30人くらいの方が参加し*2、全員がssreflectを使った証明を実際に行いました。そのた…

「なんでreturnするとき一時変数使うの?」まとめ

こんばんは、今日もお仕事だったmzpです。 お仕事してたら、こんな感じのコードを見かけました。 String retValue = null; if(someCond()) { retValue = "x"; } else { retValue = "y"; } return retValue; その場でreturn "x"とかすればいいのに、わざわざr…

Werckerのビルド結果をWebHook経由で通知するstepを作りました

最近、WerckerというCIサービスを使っています。Github上のプロジェクトをHerokuに自動デプロイする設定も簡単にできるし、UIも格好いいので気に入っています。 ただ、ビルド結果をWebhookで通知できず、他のサービスとの連携が不便だったので、それをするst…

CoreOS on Vagrantで時計がずれる件について

みなさん、こんばんは。仮想化ライフをエンジョイしていますか? 最近ボクも開発環境をVagrant+CoreOS+Dockerに移行しました。 さてCoreOSですが、ホント最小限な感じで大変クールなですが、ミニマムすぎてntpdが入ってない(or動いていない)ため、あっさり時…

2年前にPadrinoで作ったサービスをRails4で書き直しました

先日のクリスマス前の連休に、熱海の温泉宿で開発合宿をやっていました。 そこで2年前のクリスマスにリリースしたQuoteItをPadrinoからRails4に書き直していました。 QuoteItとは QuoteItはURLからいい感じの埋め込み用HTMLを生成するためのサービスです。 A…

NGK2013BでTwitter専用カーネルをOCamlで作る話をしてきました #ngk2013b

毎年恒例のNGK2013B / 名古屋合同懇親会 2013忘年会で、Twitter専用のカーネルをOCamlで書く話をしてきました。 発表スライド 補足 OCamlプログラムをXen上で直接動作させるMirageを布教したかったので、ネタとしてキャチーな「Twitter専用OS」を選んでみま…

進捗報告

( この記事は進捗Advent Calendar 2013 の11日目の記事です ) こんばんは、mzpです。 今は12月11日25時です。 よっぱらっています。明日、仕事があるのにボクは何をやっているんでしょうか。 @chiguriさんはなぜこんなことを思いついてしまったんでしょうか…

24時間耐久ハッカソン@名古屋を開催しました #24hack

発端 @zakky_devさんが企画した24時間耐久ハッカソンの名古屋サテライトを開催してきました。 まあ、名目上は主催者ですが、会場とご飯はよんた(@keita44_f4)さん提供なので、主催者業務はほぼ何もせずハックしてました。よんたさんありがとう! もともとは東…

OCamlMeeting / なごやまつりで発表してきました #ocaml2013jp #ngmatsuri

よくわからないアレで、イベントが密集した週末を過していました。 OCamlMeeting: 「OCamlでWebアプリケーションを作るn個の方法」 OCamlでWebアプリケーションを作るn個の方法 from Hiroki Mizuno 要約すると「Eliomで作ったWebアプリを、Herokuで動かそう…

一枚6円から始められるステッカー作り

調子にのってステッカーを作っていたら、数が増えてきたので、そろそろまとめておこうと思います。 一覧は@akuraruさんが配布ステッカーまとめで書いてくれているので、ボクは作るときの注意点や費用面について書こうと思います。 ステッカーの作り方 Adprin…

OCamlで作ったWebアプリをHerokuで動かす方法(2) 〜Ocsigen/Eliom編〜

前エントリでは Heroku上でOCamlを動かす方法を紹介したので、このエントリではOCaml製のWebフレームワークであるOcsigen/Eliom を動かす方法を紹介します。 Ocsigen/Eliomとは OCamlで書かれたWebフレームワークです。 Ocsigenがプロジェクト名かつサーバ名…