Twitter でベータ簡約するBOTを作った
@b_rdctさんのツイートNemerle で書いた。(ab)cを abc、λx.λy.Eを λxy.Eと書ける。λとして \ と ^ も使える。正規形を持たないλ式のうちあるパターンで簡約が繰り返されるものを検出できる。ソースコードはこちら。
View ArticleClik here to view.
某技術書風の年賀状を作った
この方の記事にインスパイアされて、私も某オライリー風の年賀状を作ってみた。こんな感じになった。使用フォントは Liberation Serif (ttf-liberation) と M+ Fonts (fonts-mplus)。羊の元画像はこちら。Flickr で CC ライセンスのものを探して使用した。元画像が CC BY-NC-SA のため、この年賀状も同じ CC BY-NC-SA...
View Articleブログが 10000 views を超えた
ブログが 10000 views を超えた。炎上することもないし、あまり書くこともなく一ヶ月に1エントリ書ければ良い方だが、一年近く続けていればこれくらいにはなるようだ。しかし、ちょっと友達の多い高校生のブログでも一年あれば 100000 views くらいは行ってるのではないだろうか。怖くてならない。さて、Blogger...
View ArticleWindows をインストールした
中学生くらいの頃にブラッディマンデイを読んで、ハッカー気取りで Ubuntu を使い始めたあの日から何年経っただろうか。今、僕は Debian jessie という人柱専用の最新で自由な環境を愛用しており、Windows だとか MacOS X だとか、そのような不自由なOSとは無縁で生きてきた。しかし、Windows を使わざるを得ない状況は容赦なく訪れる。docx...
View ArticleClik here to view.
MonoDevelop 5.x レビュー
先日 MonoDevelop を make したら、いつもと何かが違う。ヴァージョンを確認してみたところ…5.1！？！？！？GitHub のリポジトリの Releases/Tagsにもない…というわけで、使ってみます。NuGet...
View Articleapt-cyg を2倍くらい高速化してみた
apt-cyg は便利最近 Windows 8.1 を手に入れたので、とりあえず Cygwinを入れた（Z Shell が入ってないと死んでしまう病気なので）。あの悪名高き setup.exe にイラつきながらなんとか apt-cygを導入した。速い検索。APT ライクな操作。コマンドラインでソフトウェアを導入できるようになるとやっぱり便利。apt-cyg はクソいしかし、apt-cyg...
View Articlecheckinstall と GitHub Pages で始めるお手軽APTリポジトリ
PPA is 超めんどくさいPPAってご存知ですか？Ubuntuの、オレオレAPTリポジトリを手軽に提供できるアレです．PPAを使うと，$ sudo apt-add-repository ppa:someone/hogeって感じで手軽にリポジトリを追加できます．しかし、作る側は大変です．いちいちdebianパッケージを作らないといけないdh_make して， debian...
View ArticleClik here to view.
つらぽよ Advent Calendar 2013 Final - 僕のマシン
この記事はつらぽよ Advent Calendar 2013の25日目の記事です。僕の趣味はプログラミングですが、僕の家庭はパソコンが禁止です。そのため、今まで数々の過酷な開発環境を経験してきました。低スペックすぎて最近のスマートフォンに負けるのは当然として、そこら辺の仮想マシンにすら負けるのはつらみしかありません。今日はその、僕が今まで使ってきたマシンについて話します。EeePC...
View Articleマイナー言語 Advent Calendar 2013 #16: Nemerle について
この記事はマイナー言語 Advent Calender 2013の16日めの記事です。本当は Nemerle を使って他のマイナー言語を実装してみようと思ったのですが、めんどくさくなっちゃったので Brainfuck でお茶を濁します。Nemerle の紹介Nemerle とは、 .NET Framework 上で動作する静的型付けのマルチパラダイム言語です。端的に表現するなら、C# と Lisp...
View ArticleXなしで暮らす方法
Xなしで暮らす方法を書こうと思う。zshCUI環境には強力なシェルが必要である。zshはシェルの中でも1、2を争う強力なシェルである。補完の強力さ（コマンドラインオプションまで補完してくれる）、優秀なフレームワークの存在、まさに「Z」の名にふさわしいシェルである。fbterm何より、日本語が表示出来なくてはならない。X無しで日本語を表示するには、fbtermという、フレームバッファを使って高速に描画...
View ArticleJOI 予選の入出力についてについて
こちらの方の記事も触れられている通り、JOI予選の入出力にはリダイレクトを活用しましょう。ただ、./a.out < 2013-yo-t$1-in1.txt > 2013-yo-t$1-out1.txt./a.out < 2013-yo-t$1-in2.txt > 2013-yo-t$1-out2.txt./a.out < 2013-yo-t$1-in3.txt >...
View ArticleNemerleのマクロでBrainfuckをコンパイルしてみた
TwitterでBrainfuck処理系の話題になってたので、勉強中のNemerleのマクロでコンパイル時にコンパイルしてやろうじゃないのと思ってやってみた。リポジトリはこちら。using System;using System.Linq;using System.Collections.Generic;using System.Console;using Nemerle;using...
View Article0.02秒届かない話
0.02mmではありません。例の新入女子社員ハッカソンで、C#の最速スコアが0.03秒だったのですが、僕が0.04秒から0.01秒削減しようとあがいている間にhaxeさんが0.02を出していましたという話。下手にメモ化すると逆に重くなるし、クイックソートでもインサートソートでも全く速度が変わらない（=ケース数が少ない？）し、もうよくわかりません。とりあえず、 using System.Linq;...
View ArticleLinux で C# を書かない人にはわからないこと
当たり前だけど、Monoでのコードの動作はオリジナルの.NETと微妙に差異があったりする。例えば、A default installation of Mono doesn't trust anyone!要するに、MonoでWebRequest.Create...
View ArticleDentoo.LT #5でしゃべってきました
11/10に電気通信大学で行われたDentoo.LT #5に参加してきました。masawadaさんに「しゃべってよ」と言われてしまい、初参加なのにしゃべることになってしまいました。自作言語の設計、コンパイラの構築、最適化の手法などについて話してきました。...
View ArticleU-20プログラミングコンテストで経済産業大臣賞を受賞しました
僕が開発した関数型言語Fulynが、U-20プログラミングコンテストにて経済産業大臣賞を受賞しました。正直このようなニッチでマニアックなプログラミング言語がこのような名誉ある賞をいただけることに、嬉しいというよりかは驚いています。最終審査会では、出会った多くの同年代の開発者の方々、また現役開発者の方々とお話し、とても勉強になりました。Fulynが美しいプログラミング言語であるのは、ひとえにアドバイス...
View ArticleMarkdown HereがBloggerでの不具合を解決したようです
Blogger で Markdown!見出しサンプルBlogger behaviour is greatly improved now.void Foo(){ Console.WriteLine("foo");}Github に issue...
View ArticleMSILでアセンブラ短歌に挑戦した
セキュリティキャンプの課題で、アセンブラ短歌というものに挑戦してみました。アセンブラ短歌とはアセンブラ短歌とは、サイボウズのセキュリティキャンプグループに川合さんがされた投稿によると、(1) アプリケーションヘッダ的なものは基本的に31バイトに加算されない。OSECPUでいえば、最初の 05 E1 はノーカウント。(2)...
View Article
