ソフトウェアとは何なんだろうか？ 曖昧な要件を矛盾のない仕様に落とし、さらに自然言語だと曖昧さが残るので、 曖昧さを許さないプログラミング言語に翻訳する段階で、なにが曖昧であるかに気づき、 その曖昧さをなくし、完全に曖昧さも矛盾もない仕様に落…

さてさて、フジロック2017の第一弾出演アーティストが発表されました。 http://www.fujirockfestival.com/news/?id=3288 すでにチケット購入済みで、行く予定なんですが、なにぶんロックに疎いし、音楽からも遠ざかりつつある昨今。 おそらくヘッドライナー…