Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Conversation

Notices

Embed this notice
$\mathscr{N}_{yoho}$ (nyoho@mathtod.online)'s status on Thursday, 29-Dec-2022 09:29:52 JST $\mathscr{N}_{yoho}$ $\mathscr{N}_{yoho}$
- かき@GNUsocialJP
NaNの扱いはmaybeモナドで数学的に扱えているような気もする。

In conversation Thursday, 29-Dec-2022 09:29:52 JST from mathtod.online permalink
- Embed this notice
  $\mathscr{N}_{yoho}$ (nyoho@mathtod.online)'s status on Thursday, 29-Dec-2022 09:30:33 JST $\mathscr{N}_{yoho}$ $\mathscr{N}_{yoho}$
  in reply to
  - かき@GNUsocialJP
  NaNの扱いはmaybeモナドで数学的に扱えているような気もする。たぶん(maybeとかけてトゥート)。
  
  In conversation Thursday, 29-Dec-2022 09:30:33 JST permalink

Feeds