ポスト

TAPL 輪講で学生に「なんで logical relation って言うの？」と聞かれたので，古に @esumii が TYPES メーリングリストに質問を投げたスレッドを学生に紹介するなど．（結局結論はなんだったんだっけ？） lists.seas.upenn.edu/pipermail/type…

メニューを開く

Kohei Suenaga@ksuenaga

6月17日(月) 14:06

みんなのコメント

メニューを開く

ご本人による説明はこれ（の"PS"）です！seas.upenn.edu/~sweirich/type…

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)@esumii

1
1
3

6月17日(月) 14:57

もっと見る

人気ポスト

いちリンツ店員の私がつぶやきます、、、今日から販売開始されたポーチが500円で売られてます。みなさん自慢の可愛いぬいを推しの色に合わせて入れることが出来ます‼️ 深瀬くんの両角ぬいとかどうぞ。 (垢バレしませんように。) よければ↓↓

仙台空港のこれいいよなぁデジタル化が進む今だからこその良さがある... まぁ、お見送りしてくれる相手なんておらんけど

アフタヌーンティーはこれぐらいでいい。それでもって、気合い入れて何ヶ月も前から予約しなくても、ふらりと立ち寄れるのがいい。

この所お客様から、断捨離を後悔してる、処分してしまった本をもう一度集め直してる…という話を聞くことが多い。部屋は綺麗になっても、こころにもぽっかり穴が空いてしまうのだとか。自分の好きな本やら何やらをいつでも見えるところに置いておくのって、実は思ったより大事なことなのかもしれない。

笑顔で西瓜ジュース持ってたのに蚊を見つけた瞬間www

バケモン来て泣いてる。助けて

これホントなら死んでる助けて

え、終わったんだけど

おや、この四角い透明なプラスチック…これはカードゲーマーがいた痕跡です

普段、全くラブストーリーなんて観ないオレが…オススメされて観たら、マジで号泣😭😭😭💦 凄い良い話だった😭 親友とは恋人とは…過ごした時間の長さではない。命とは…人生とは…。素晴らしい作品なので皆にも観てもらいたいです！ #余命一年の僕が余命半年の君と出会った話 #永瀬廉 #出口夏希

もっと見る

トレンド3:32更新

20位まで見る

電車遅延（在来線、私鉄、地下鉄）

北海道東北関東中部近畿中国四国九州

遅延している路線はありません

全国の運行情報（Yahoo!路線情報）

よく使う路線を登録すると遅延情報をお知らせ　Yahoo!リアルタイム検索アプリ

Yahoo!リアルタイム検索アプリ