Hoge Text Replace をオープンソース化した

2012 年頃に開発していた Windows アプリケーションのソースコードを,最近 GitHub に上げるなどしている.そのひとつとして,テキストファイル置換ソフトの Hoge Text Replacer をオープンソース化した. github.com ちなみに,バイナリは Vector で公開し…

VS Code のプラグインを作った

半角文字と全角文字の間にスペースを挿入する Visual Studio Code プラグインを作った. このプラグインを実行すると,例えば 今日は2017年8月11日(金)、快晴です。 というテキストを 今日は 2017 年 8 月 11 日 (金)、快晴です。 のように整形できる. この…

Jersey で見えない例外をログに流す

qiita.com

VS Code でフロントマターのある AsciiDoc を扱う

qiita.com

YAML のハマりどころ

qiita.com

Hugo で AsciiDoc しようとしてハマった話

qiita.com

Ubuntu に Vagrant をインストール

Ubuntu 16.04 上で Vagrant を動かしたメモ.よくわからないエラーが出てハマった. VirtualBox のインストール 最新版の deb をダウンロードしてきて,インストール. Oracle VM VirtualBox - Downloads | Oracle Technology Network | Oracle Vagrant のイ…

Coq のカリー・ハワード同型周辺について

qiita.com

OCJP Silver SE 8

とりあえず無事合格してたらしい。

OCJP Silver 試験のお勉強

"Oracle Certified Java Programmer, Silver SE 8" という資格の勉強をしてるけど、Java の言語仕様がごちゃごちゃしていて悶絶している。 以下、個人的に疑問符がついたところ 2 つ。 可変長引数の書き方 メソッドの定義でコンパイルエラーとなるのは次のう…

Haskell Advent Calendar に投稿した

今年は Haskell Advent Calendar 2017 (その1) に投稿してみた。 スーパーモナドについて - Qiita 次の論文で提案された、スーパーモナドという概念を解説するという内容。 J. Bracker and H. Nilsson. Supermonads: one notion to bind them all. In Procee…