7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
Favolog ホーム
» @wed7931
» 2016年09月08日
並び順 : 新→古 | 古→新
2016年09月08日(木)
【JR貨物】6日のプレスリリース。帯広貨物－釧路貨物は5日から運行を再開。札幌貨物タ－帯広貨物でトラック代行を実施中。R38が開通すれば、富良野経由のトラック代行・臨時列車を開始予定。 www.jrfreight.co.jp/common/pdf/new... pic.twitter.com/Ex3cLsdttu
タグ：
posted at 07:28:18
AIで数学を扱うことの面白さは、真偽という「意味」は決まっているし、形式化の方法もあるにも関わらず、「意味を考えれば簡単に解けるのに、汎用証明機では理論上解けない」とか「真である定理の集合において表層的な手がかりではわからない価値がある」という事実が見つかる点。
タグ：
posted at 09:12:16
台風13号は温帯低気圧に変わりました。今夜には北日本に進み、996hPaに下がりやや発達。台風が熱帯低気圧になる場合は「弱まる」から。温帯低気圧になる場合は弱まるわけではなく、燃料が変わるということ。ガソリンが切れても電気に切り替えて走る…だからまだ元気なんです。
タグ：
posted at 11:58:11
北海道の誰も乗らん鉄道なんて廃止しちまえと豪語してた社の爺が「なんでタマネギとジャガイモがこんなに高いんだ！」と文句言ってるのを生暖かく見守る午後のひととき。
タグ：
posted at 15:57:13
非公開
タグ：
posted at xx:xx:xx
スポンサーリンク
