黒めだか
- いいね数 250,659/229,400
- フォロー 388 フォロワー 1,669 ツイート 57,268
- 現在地 Tokyo-to, Japan
- Web https://profile.hatena.ne.jp/takeshi0406/
- 自己紹介 日本のプログラマーです⚡️ i like programming & music & denpa @dempa_bot
2018年06月13日(水)
![](https://pbs.twimg.com/profile_images/1568815240858730498/vtqZ7-Tu_normal.jpg)
Wadlerらが執筆中のAgdaによるプログラミング言語理論の教科書 wenkokke.github.io/sf/ (PierceらのSoftware FoundationsはCoqのtacticsが邪魔だったのでAgdaに移植しようと思ったけど本文も書き直した
タグ:
posted at 01:56:24
![](https://pbs.twimg.com/profile_images/424495004/GuidoAvatar_normal.jpg)
Python 3.7.0rc1 and 3.6.6rc1 are now available! Please test your apps and libs (esp. with 3.7). Thanks again to @baybryj and a cast of thousands. mail.python.org/pipermail/pyth...
タグ:
posted at 05:43:04
![](https://pbs.twimg.com/profile_images/421959794/TQ_LOGO_normal.png)
良い(≒ 興味ある人がいま知りたいことをわかっている)イベントタイトルだ / 【東京】JJUG ナイトセミナー 「緊急特集! Javaの無償版はなくならないぞ!」 6/20(水) 開催 - 日本Javaユーザーグループ/Japan Java User Group | Doorkeeper jjug.doorkeeper.jp/events/76019
タグ:
posted at 13:49:04
![](https://pbs.twimg.com/profile_images/939683892461576194/9pI-vkzC_normal.jpg)
お昼何にする?そうだ!VREXでお昼食べてはぴおしゃしよ🎀
そんな方に朗報🌼
VREX新宿店だと、午前中10時~12時の間は、はぴおしゃが700円→350円で遊べちゃう!
他のゲームもとってもお得に遊べるハッピーアワーが始まるよ🎉
お得に遊んでVREXでランチ🍀
instagram.com/p/Bj86caRg26K/
タグ:
posted at 14:02:39
![](https://pbs.twimg.com/profile_images/1076892322686590978/QpDvyarF_normal.jpg)
![](https://pbs.twimg.com/profile_images/1609160609291194368/-DZnL8M-_normal.jpg)
夏コミでは、オリジナルCD『crystallize』収録曲の「hug*」を書いて下さった遥風啓司さんのCDも委託させて頂きます!詳しくは改めてお知らせしますのでお待ち下さいませ。昨日イラストレーターさんから素敵なラフイラストが届いて幸せいっぱいです。夏可愛い☺️🌻新譜の制作も精一杯頑張ります✨
タグ:
posted at 18:49:23
![](https://pbs.twimg.com/profile_images/1002192151176867840/DGvLK1ig_normal.jpg)
6/30(土)日中、チップチューンてんこ盛りのクラブイベント「Lo-Bit Freedom ver.6 -CypherFinal-」開催!
ChiptunePediaと言っても最早過言ではない @hallyvorc 、
雪月花でブレイクした @higedriver によるChipStyleACTに、YMCK @Yokemura など、破壊力満点の6時間!
lobitfreedom-v6.peatix.com
#LBF6
タグ: LBF6
posted at 19:18:16
![](https://abs.twimg.com/sticky/default_profile_images/default_profile_0_normal.png)
非公開
タグ:
posted at xx:xx:xx
![](https://pbs.twimg.com/profile_images/943422951558332416/E-yIHC7h_normal.jpg)
きゃんきゃんバニープルミエール3 @canbani_premie3
『きゃんきゃんバニープルミエール3』の発売日は6月29日から、8月31日に変更となりました。
楽しみにお待ちいただいている皆様、大変申し訳ございません。もうしばらくお待ちください。
fandc.co.jp/cb_pr3/index.h... #プルミエール3 pic.twitter.com/MOHyYFKvCx
タグ: プルミエール3
posted at 19:22:25
![](https://pbs.twimg.com/profile_images/1649068280404123648/VFvtv33h_normal.jpg)
![](https://pbs.twimg.com/profile_images/1174513422219628544/QpYru9xy_normal.jpg)
ヴィジュアル系不気味の壁があるとおもっていて、メタル系のバンドを一部のメタラーが聴くと逆にキツイ(とくに00年代のニューメタル全盛のやつや、いまでもニューメタル色が残ってるやつ)的なやつで、だから比較的雑食のメタラーにはポジパン、オルタナ系のほうがウケがよい印象
タグ:
posted at 20:55:42
![](https://pbs.twimg.com/profile_images/806632105786556416/QQxwWkJU_normal.jpg)
先ほどお問い合わせがあり確認したところ、特典のDLがうまく反映されておりませんでした(すみません<m(__)m>)
先ほど設定ができましたのでご購入されたかたで欲しい方がいましたら、お手数かけますが再度DLの方をよろしくお願いいたします<m(__)m>
twitter.com/pay3218/status...
タグ:
posted at 21:22:12
![](https://pbs.twimg.com/profile_images/1608602397089345537/0OyQcKDE_normal.jpg)
やっぱ最終巻のジャケはアルティメット主人公やなって……3人とも全く違った最強最高の無敵な輝きを放っているな…… pic.twitter.com/k5uIDGqVFU
タグ:
posted at 21:41:10
![](https://pbs.twimg.com/profile_images/1553357047223070720/E8fT-fd4_normal.jpg)
![](https://pbs.twimg.com/profile_images/845532067584606208/iNIm__-Z_normal.jpg)
オウテカ@リキッド。こんな注意書きが堂々と出てるのに、演奏中スマホ見てるバカ多数。たかが70分ぐら… www.instagram.com/p/Bj92Bcfg2WJ/...
タグ:
posted at 22:20:52
![](https://pbs.twimg.com/profile_images/465005458554499073/ZxW5i1fX_normal.jpeg)
![](https://pbs.twimg.com/profile_images/1181185661119811584/OsgEJl_m_normal.jpg)