Skip to content

Instantly share code, notes, and snippets.

View kimitaka's full-sized avatar
🗾
Working in Japan

Kimitaka Watanabe kimitaka

🗾
Working in Japan
View GitHub Profile
document.addEventListener('onEventReceived', function(obj) {
const synth = window.speechSynthesis;
if (obj.detail.command === 'PRIVMSG') {
var utter = new SpeechSynthesisUtterance(obj.detail.body);
utter.voice = synth.getVoices().filter(v => v.lang === 'ja-JP')[0];
utter.rate = 1;
utter.pitch = 1;
synth.speak(utter);
}
});
@kimitaka
kimitaka / file0.txt
Created December 11, 2013 07:40
初心者が陥りそうな罠 〜なんでもintrosすればいいってわけじゃない〜 ref: http://qiita.com/kimitaka@github/items/7879ea3133fe378b178c
forall b c : bool, P -> Q -> R
@kimitaka
kimitaka / text.md
Created December 7, 2013 13:02
はぐれ学生Advent Calendar 2013 の記事です

"本記事は「はぐれ学生Advent Calendar 2013」 http://www.adventar.org/calendars/131 という企画のひとつです。 本企画では「はぐれ学生」とは、大学などの学校を中退、休学、留年した方、また、仮面浪人やちょっと変わった進路を選んだ方などを指すことにします。"

自己紹介

私は渡邉公隆といいます。筑波大学情報学群情報科学類を2011年3月に卒業し、同4月に筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻に進学しました。 その後、研究が頓挫し、精神的に病んでしまい必修単位を落とし、2012年10月から療養のため休学しました。 翌2013年10月より復学し、無事過程を修了することを目指して頑張っています。 専門はプログラミング論理で、キーワードは型システム、マルチステージプログラミング、定理証明支援系などです。 専門分野の話は別の機会に譲るとして、皆さんにはお金の話を少ししたいと思います。