Conversation

Notices

1. やきたま :sabakan: (yakitama@mstdn.yakitamago.info)'s status on Monday, 25-Feb-2019 17:04:26 JST やきたま :sabakan:

   まだまだインスタンスの「壁」は存在する。

   • やきたま :sabakan: (yakitama@mstdn.yakitamago.info)'s status on Monday, 25-Feb-2019 17:04:52 JST やきたま :sabakan:

     in reply to

     暴論に近い理想論を言えば、この壁は取り除かれるべき障壁だ。

   • やきたま :sabakan: (yakitama@mstdn.yakitamago.info)'s status on Monday, 25-Feb-2019 17:05:41 JST やきたま :sabakan:

     in reply to

     そして、ここからは自信がないのだが、この壁を取り除くにあたってまず最初の課題となるのが LTL であると考えている。