タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

Algorithmとalgorithmとpi calculusに関するrydotのブックマーク (2)

  • The 10 Questions a Solutions Architect Should Ask Before Using REST

    はじめに 毎年たくさんの数の女優さんがAVデビューする 2022年は500人以上の女優さんがデビュー作品をリリースした 2023年はAV新法の影響もあり、何人になるかまだわからないが、それでも3桁の女性がデビューすると思う その中で、全てをチェック、視聴し、80点以上の綺麗でかわいい新人女優さんだけを厳選してレビューしている 女優さんが多すぎて、脳の記憶のキャパを越えてしまう (あれ?この子どんな感じだっけ?) なんていう状況にいつも陥るのでメモをしていた そういった情報が誰かの役に立つのではないかと思い、記事にしてみたのがきっかけだ 2021年、2022年にデビューした新人について、まとめたところ大変好評だった 膨大なお金と時間がかかり、結構大変なのだが、2023年もまとめ記事を作成した ちなみに2024年の新人女優さんについてもまとめはじめている 最後のほうに貼っておくので、良かったら

    The 10 Questions a Solutions Architect Should Ask Before Using REST
  • A Very Brief Introduction to the Pi-Calculus (in Japanese)

    π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |

  • 1