Skip to content

Instantly share code, notes, and snippets.

Avatar
🏠
Working from home

Kimitaka Watanabe kimitaka

🏠
Working from home
View GitHub Profile
View twitch-speakout.js
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 Dec 11, 2013
初心者が陥りそうな罠 〜なんでもintrosすればいいってわけじゃない〜 ref: http://qiita.com/kimitaka@github/items/7879ea3133fe378b178c
View file0.txt
forall b c : bool, P -> Q -> R
@kimitaka
kimitaka / text.md
Created Dec 7, 2013
はぐれ学生Advent Calendar 2013 の記事です
View text.md

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

自己紹介

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

You can’t perform that action at this time.