おしろのひと（気力不足）
- いいね数 661,140/644,638
- フォロー 5,001 フォロワー 848 ツイート 23,949
- 現在地 城ではない
- 自己紹介 coins11→入院
2014年03月28日(金)
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
相当それっぽい論文みつけたぞ! link.springer.com/chapter/10.100... Mixed Inductive/Coinductive Types and Strong Normalization
タグ：
posted at 21:59:54
エルフさんの絵が今日のＲ－１8ランキングいろいろ頂いてました。ありがとうございます～！www.pixiv.net/member_illust....（18禁注意）
タグ：
posted at 21:59:01
①二重人格なchiguri ②ド変態なchiguri ③ゴスロリのchiguri ④いつものchiguri ⑤キツいchiguri 貴方ならどれを選ぶ！？ shindanmaker.com/212674 おいちょっとまて
タグ：
posted at 21:56:40
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
inductive type (strictly positive なものに限る)は多相型を使ってエンコードできる(ただし滅茶苦茶複雑な dependent type を使ったときにどうなるかは知らない)けど、coinduction を使って良い根拠が何なのか良く分からない。
タグ：
posted at 21:54:43
普通に生活していたら殴られたから文句を言ったら「フルプレートアーマーを着ていないのが悪い！ 自分の身を自分で守るのが正義！」と殴ったやつが言ってきた、って感じかな。
タグ：
posted at 21:53:50
上田智章 (Tomoaki Ueda) @NeoTechLab
日常生活でものすごく不安を煽られるGIF画像まとめ13選 - BIGLOBEニュース news.biglobe.ne.jp/it/0328/giz_14...
これ面白いな。
タグ：
posted at 21:50:51
そういえば「アフガニスタンやシリアに漆黒の軍旗が揚がる時はカリフ復活の兆候」っていう壮大なリアル中２病思想があったような♪(^◇^)@HASSANKONAKATA @gratiadeiest そんな中二病を卒業しカリフ制再興を目指すのが成人すること
タグ：
posted at 21:47:32
そんな中二病を卒業しカリフ制再興を目指すのが成人すること "@gratiadeiest:中学校の頃か……鴨長明にならって世を倦んで隠遁したり，中国で姫姓の末裔を探し当てて王位につけ自らは臣として忠義を尽くしつつ周王朝再建を支えたり，そんなことばかり考えていたな．夢いっぱいだった"
タグ：
posted at 21:37:51
(asahi)【福島と他県で甲状腺がんの発見頻度変わらず】 www.asahi.com/articles/ASG3X... 環境省は「今回の調査により、症状のない子どもを検査すると、被曝とは関係なく、がん登録よりもがんが多く見つかることが確認できた」としている。（大岩記者）
タグ：
posted at 21:31:52
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
斜め上から見ると超かっこいい！ スタイリッシュでクール。アニメ「アルジェントソーマ」のザルクって主役メカにシルエットが似てる気がする。 pic.twitter.com/tbDvxvgdzM
タグ：
posted at 20:52:41
ウメブラックP™おデブ治療中 @ume_blackP_765
ラブライブ2期、超展開ワロタwwwwwww pic.twitter.com/OTkhMvCdWQ
タグ：
posted at 19:20:45
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#hyuki_diary 書籍『数学ガールの秘密ノート／丸い三角関数』再校読み。www.hyuki.com/girl/note3.html では第五章を読みましょう。
タグ： hyuki_diary
posted at 13:50:15
紹介して頂きました。僕の奴はOculusがあればコントローラ一切不要ですよ / “日本で開発されているOculus Rift対応のゲームはこれだ！―BitSummitで注目を集めたゲームたち - もぐらゲームス” htn.to/GdijF
タグ：
posted at 13:50:08
#カメリオ kamel.io がkatsyoshiさんのワードクラウドをつくりました。あなたもここshirokumo.kamel.ioで作ってみませんか？ pic.twitter.com/bXGDQmvRpo
タグ： カメリオ
posted at 13:49:50
わたし「scala コンパイル 遅い」会社の人「わかる〜〜〜」という会話をしたけどそうじゃない、私の環境がおかしいだけでちゃんと設定すれば実用的な速度が出るんだという答えを期待していた……
タグ：
posted at 13:44:44
みずほ銀、巨大システム刷新 苦い教訓生かせるか s.nikkei.com/1mxdrV1
＿人人人人人人＿
＞ 20万人月 ＜
￣^Y^Y^Y^Y^Y￣ pic.twitter.com/21KnJ4yC5F
タグ：
posted at 12:57:46
T.M.Revolution OFFIC @TMR_STAFF
「MTV VMAJ 2014」最優秀コラボレーションビデオ賞にT.M.Revolution×水樹奈々「Preserved Roses」がノミネートされております。
投票受付締切：5/28(日)23:59
gyao.yahoo.co.jp/vmaj2014/
タグ：
posted at 12:20:31
T.M.Revolution OFFIC @TMR_STAFF
「MTV VMAJ 2014」ミュージックビデオ投票受付開始！
各部門のミュージックビデオ最優秀作品は、視聴者・一般の方からの投票と、GyaO!が運営するVMAJオフィシャルサイトでのミュージックビデオ再生回数の合算により決定します。
vmaj.jp
タグ：
posted at 12:15:05
U.S.S.BlackPrince @HMS_BlackPrince
出張で名古屋駅。あおなみ線の乗り換え口でまさか天皇陛下ご夫妻の乗り換えに行きあうとは！ pic.twitter.com/tMLo9ZWVeM
タグ：
posted at 12:13:13
T.M.Revolution OFFIC @TMR_STAFF
ミュージックビデオの国際的授賞式「MTV VMAJ 2014」 に、T.M.Revolution 西川貴教がMCとして出演することが決定しました！
■日時：6/14(土) ※開場、開演時間は後日発表
■会場：舞浜アンフィシアター
gyao.yahoo.co.jp/vmaj2014/
タグ：
posted at 12:12:53
非公開
タグ：
posted at xx:xx:xx
僕はフォレンジックが専門ではなくて、インシデント対応の現場対応の人間なんで、ニーズが違うんですよ。経営者にとってのニーズは、裁判用途ではなくて、例えば情報漏洩であれば、情報漏洩の最大可能性の見極めが主眼ですから。@slimeses @kyoshimine
タグ：
posted at 12:05:16
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ほんだし（車載）/Project DA4 @hondashi_big
みてる：レノボ、ThinkPad T/X/W/Edgeなど一部のバッテリを自主回収 ～米国で2件の発熱事故、無償交換へ - PC Watch pc.watch.impress.co.jp/docs/news/2014...
タグ：
posted at 11:50:57
社学「経済といったらうちが」 社工「いやうちでしょ」 国際「うちは経済学科目は英語でやるから」 資源「うちも経済コースあるし」 QT @polnga48 らしいぞお前ら pic.twitter.com/8Iyg3qynuY
タグ：
posted at 11:45:33
microUSB3.0端子を持つ端末に直接USB3.0機器を繋ぎたい時に役に立つケーブルが640円！ ascii.jp/elem/000/000/8... #asciijp
タグ： asciijp
posted at 11:32:15
「京大マイコンクラブでGitHubのプライベートレポジトリを無料で50個有効化した話（pastak.hatenablog.com/entry/2014/03/...）」を読んでTSGでも申し込んだけど有効化されたのは10個だった。シビアだ…
タグ：
posted at 11:31:44
筑波大学・つくば市が目指す環境都市づくりを先駆ける「3Ecafeプロジェクトチーム」 www.stb.tsukuba.ac.jp/~t3ecafe/ 。まちづくりに関わってみたい筑波大生の参加をお待ちしています！！テーマはエネルギー、ビジネス、農、環境教育、自転車のまちなど！就活にも有利かも。
タグ：
posted at 11:30:25
USBキーボードをタブレットで利用できるモバイルバッテリー「EneBRICK」の一般発売を本日発表いたしました。クラウドファンディングでご支援いただいた方から順番に4月上旬より出荷予定です info-blog.cerevo.com/2014/03/28/550/
タグ：
posted at 11:27:28
【半導体の歴史(38)】FETのD-S間には極性(接合部)がないため、ただの抵抗です。トランジスタのようにC-E間の電流が一方通行でなくてよいので、交流信号をそのまま通せるのです。これを利用した電子スイッチは、現在ほとんどの電子機器で利用されています。
タグ：
posted at 11:21:03
経営者「ヒャッハー！ゆうしゅうなえんじにあだー！」
「や、やめてくだされー！そのエンジニアがいないと仕事がー」
「うるせぇ！オラ！このエンジニアは技術が分からない我々のために説明資料を作ったり、予算書類を書かせたりするんだ！ハハハ！」
「あわわ……」
タグ：
posted at 11:18:01
いまのAppleの戦況だと入りやすいよね、GoogleだとDriveが競合だし
MicrosoftがiPadでWord・ Excel・ PowerPointのフル機能が使えるアプリを無料配信開始 - GIGAZINE gigazine.net/news/20140328-...
タグ：
posted at 11:16:46
厚木の人＠日曜会 / C102 2日目日 @atsuginohito
１９世紀のモニター艦、装甲艦、砲塔艦の類は、時代遅れと言う違和感が一周してＳＦ的な香りさえする。
タグ：
posted at 11:16:45
太陽の牙 ダグラム COMBAT ARMORS MAX02 1/72 ソルティックH8 ラウンドフェイサー プラモデル #amiami www.amiami.jp/top/detail/det... 予約完了～全体のバランスとかミサイルポッドの接続方法とか気になるところもあるけど楽しみだなぁ
タグ： amiami
posted at 11:15:55
本日はアルバム曲のファンコーラス収録の日ですね！ご参加される皆様、本当にありがとうございます！私はスケジュールの都合もあり、参加が出来ないのですが、、どうぞよろしくお願いいたしますー！！楽しみ(((o(*ﾟ▽ﾟ*)o)))！
タグ：
posted at 11:15:24
自転車で日本各地を旅した結果，ド田舎においては郵便局と農協が金融の唯一の生命線であるということを自ら身をもって学び，また大型ショッピングモール等によって本来地域内で回るはずだったお金が法人事業税等の形で本社所在地に吸い上げられる問題を寂れた個人商店のおばちゃんから学びました．
タグ：
posted at 11:11:33
「渡辺王将初防衛！大一番で振り飛車“体得”果敢に攻め続け… 」(スポニチさんの記事)→www.sponichi.co.jp/society/news/2...
タグ：
posted at 11:09:13
★お知らせ★スチパンシリーズでお世話になっているライアーソフトさまの最新作！【ガチゆるヒーローバトル～姫巫女銀河】に出演します！個性的なキャラたちに翻弄される美少女ヒーローの砂倉遙ちゃん役ですよ♡www.liar.co.jp/gachi/gachi_to...
タグ：
posted at 11:08:40
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
【悲報】増税まであと4日
【悲報】増税まであと4日
【悲報】増税まであと4日
【悲報】増税まであと4日
【悲報】増税まであと4日
【悲報】増税まであと4日
【悲報】増税まであと4日
【悲報】増税まであと4日
【悲報】増税まであと4日
【悲報】増税まであと4日
タグ：
posted at 10:58:30
あのなあ。お客さんが偉いとかそういうの無いけどやな、モラル無いんか。寿司出す前にモラル出せ。常識を回転させろ。 RT @kousuke5418: 今日ラスト間際にガリガリガリクソン食べに来てた
メガネかけてなかったら普通のデブやん
明日から二連休やっと休める。リセットせな。
タグ：
posted at 10:50:13
非公開
タグ：
posted at xx:xx:xx
「文系ならごまかしがききます！」って暗に馬鹿にしてるけど、「文学とかあんまり好きじゃない。マンガは好き」って奴がノリで文学部に進学して内容の濃さについていけなくなって辞めた事例がいくつもある
タグ：
posted at 07:44:23
1. 理系は就職に有利
2. 数学科は理系の中の理系 理系の王
と聞いて数学科にきた人「居場所ない……みんなと会話できない……授業分からない……就職できない……」
タグ：
posted at 07:39:00
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
技術開発や工学・科学の研究者に向いているかどうかは大学受験の段階では見極められないと思うのよね。進学してみたら向いてなかった/向いてたってのはどう程度あってもおかしくないと思うのです。下世話な理由で選択してみたら自分に合ってた、というのはよくある話。 >就職に有利だから理系の話
タグ：
posted at 07:30:39
そうか。“@yousaikoubou: 親しくない人から非公式ＲＴやリプライでタメ語のものが届いたりすることがありますよね
そこで返事を送りするとフオッ！？と驚かれたり、文体が急に変わるので、なれなれしい口調のリプライは問いかけではなく独り言だと気がついた。リプ先には人間がいる”
タグ：
posted at 07:24:19
なにか理系進学者が増えると困るわけでもあるらしい(^^; || 週現スペシャルこれぞ、究極の格差社会 使える理系使えない理系【PartI】「理系は就職に有利」で選んだ人間の悲劇——文系と違い、ごまかしがききません bit.ly/VLMsXH
タグ：
posted at 06:50:11
非公開
タグ：
posted at xx:xx:xx
#jsオジサン ぁゃぴのLTのスライドと音声をブログに載せました！→ JSオジサン＃1 LT「node-webkitとchrome-remote-interfaceでブラウザオートメーション」 - ayapi_github_io ayapi.github.io/posts/jsojisan1/
タグ： jsオジサン
posted at 03:25:07
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
日本一周することが偉いんじゃなくて日本一周を通じて何かを学んだことが偉いのであって単に長距離移動しただけで得るモノなんて何も無い的な話をしたら、日本一周中睡眠導入剤として森先生の現代の古典解析を寝る前に眺めてたらある日突然理解出来て日本一周中に解析学習得した話をされるなどした
タグ：
posted at 01:39:45
非公開
タグ：
posted at xx:xx:xx
マスコミは、４８年ぶりに自由を取り戻した袴田さんを執拗に追うより、ねつ造されたという証拠を出してきた人、自白をさせた長時間に及ぶ取り調べをした人、証拠に疑問があるにも関わらず有罪とした人とかを追いかけて取材してくれないかな、袴田さんはそっとしておいてあげようよ
タグ：
posted at 00:30:43
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
