-->

« 2012年7 月 | メイン | 2012年9 月 »

2 posts from 2012年8 月

2012年8 月20日 (月)

第三百三十二回　定理証明支援系言語って何よ！？

写真

定理証明支援型言語Coqってのがあるらしい！？何なのそれ？

というお話！

<<-- MP3 -->>

Posted by keith at 8:33 午後 カテゴリー: podcast | 個別ページ | トラックバック (0)

2012年8 月10日 (金)

第三百三十二回　夏だ一番!!電脳空間カウボーイズ祭り　後編

P1140435

ロボットレントランがスゴイ！という話で延々盛り上がったり、盛り下がったりする俺たち！サイバースペースカウボーイズ！

<<-- MP3 -->>

Posted by keith at 9:03 午後 カテゴリー: podcast | 個別ページ | トラックバック (0)

購読する / 更新通知

iPhone/iTunesで購読
RSSフィードで購読
Androidで購読

電カー ニコニコチャンネル

電脳空間カウボーイズのニコニコチャンネル

無限ループ

タイトルで使ったりエンディングで使ったりしてる曲「無限ループ」 - iTunesStore

関連書籍-Kindle

2ndサウンドトラック

2010年6月に配信した2枚目のサウンドトラック-iTunesStore

1stサウンドトラック

2007年7月に配信した1枚目のサウンドトラック[Digital Phantom]-iTunesStore

iTunesStoreで評価する

iTunesの「評価とレピュー」から★をつける
★をたくさんもらえると、電脳空間カウボーイズのやる気が増します

アバウト

フォトアルバム

カテゴリー

検索

アーカイブ

もっと見る

他のサービス

Twitter
powered by TypePad
登録年月 2005年10月