Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

7931

@wed7931

  • いいね数 45,477/48,405
  • フォロー 253 フォロワー 1,023 ツイート 68,505
  • 現在地 チーバくんのみぞおち付近
  • Web http://wed7931.hatenablog.com/
  • 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
Favolog ホーム » @wed7931 » 2016年09月08日
並び順 : 新→古 | 古→新

2016年09月08日(木)

道道資料北海道 @routedata_north

16年9月8日

【JR貨物】6日のプレスリリース。帯広貨物-釧路貨物は5日から運行を再開。札幌貨物タ-帯広貨物でトラック代行を実施中。R38が開通すれば、富良野経由のトラック代行・臨時列車を開始予定。 www.jrfreight.co.jp/common/pdf/new... pic.twitter.com/Ex3cLsdttu

タグ:

posted at 07:28:18

新井紀子/ Noriko Arai @noricoco

16年9月8日

AIで数学を扱うことの面白さは、真偽という「意味」は決まっているし、形式化の方法もあるにも関わらず、「意味を考えれば簡単に解けるのに、汎用証明機では理論上解けない」とか「真である定理の集合において表層的な手がかりではわからない価値がある」という事実が見つかる点。

タグ:

posted at 09:12:16

檜山靖洋 @sky_traveling

16年9月8日

台風13号は温帯低気圧に変わりました。今夜には北日本に進み、996hPaに下がりやや発達。台風が熱帯低気圧になる場合は「弱まる」から。温帯低気圧になる場合は弱まるわけではなく、燃料が変わるということ。ガソリンが切れても電気に切り替えて走る…だからまだ元気なんです。

タグ:

posted at 11:58:11

@1101rin1207mia

16年9月8日

北海道の誰も乗らん鉄道なんて廃止しちまえと豪語してた社の爺が「なんでタマネギとジャガイモがこんなに高いんだ!」と文句言ってるのを生暖かく見守る午後のひととき。

タグ:

posted at 15:57:13

非公開

タグ:

posted at xx:xx:xx

@wed7931ホーム
スポンサーリンク
▲ページの先頭に戻る

タグの編集

lovefighters 数学 日曜数学会 ゴリパラ nhk_news おかえりモネ ゴリパラ見聞録 MathPower はてなブログ 舞いあがれ

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました