https://b.hatena.ne.jp/entry/s/speakerdeck.com/ytaka23/aws-dev-day-2022-japan AWS Dev Day 2022 Japan で使用したスライドです。 AWS Lambda を初めとするサーバーレスコンピューティング基盤には、 * 複数の関数が同時に実行され共有リソースにアクセスしうる、本質的に並行システムである ... https://b.hatena.ne.jp/skypenguins/20251004#bookmark-4727896141547086340 2025-10-04T08:25:01Z aws 数学 数理論理学 サーバーレス https://b.hatena.ne.jp/techtech0521/20230828#bookmark-4727896141547086340 2023-08-28T14:10:11Z あとで読む https://b.hatena.ne.jp/t_ashula/20221205#bookmark-4727896141547086340 2022-12-05T08:36:26Z https://b.hatena.ne.jp/knj2918/20221115#bookmark-4727896141547086340 2022-11-15T03:30:31Z あとで読む https://b.hatena.ne.jp/wonder-wall/20221113#bookmark-4727896141547086340 2022-11-12T15:27:13Z aws https://b.hatena.ne.jp/yuiseki/20221112#bookmark-4727896141547086340 2022-11-12T01:38:48Z あとで読む https://b.hatena.ne.jp/dederon/20221112#bookmark-4727896141547086340 2022-11-11T16:18:19Z あとで読む https://b.hatena.ne.jp/locke-009/20221111#bookmark-4727896141547086340 2022-11-11T14:59:20Z AWS サーバーレス 運用 資料 https://b.hatena.ne.jp/dhrname/20221111#bookmark-4727896141547086340 すでに1972年、ダールがダイクストラ抽象化とデータ構造化(数学的構造)を使ったオブジェクトクラス(67年)やコルーチンで並列プログラミングを実装ずみ（72年版のホーア、ダール、ダイクストラ「構造化プログラミング」） 2022-11-11T13:37:59Z オブジェクト指向 構造化 プログラミング https://b.hatena.ne.jp/uzulla/20221111#bookmark-4727896141547086340 2022-11-11T12:26:09Z https://b.hatena.ne.jp/SWIMATH2/20221111#bookmark-4727896141547086340 2022-11-11T11:07:06Z あとで読む https://b.hatena.ne.jp/tidei/20221111#bookmark-4727896141547086340 2022-11-11T09:27:01Z https://b.hatena.ne.jp/nikochan2k/20221111#bookmark-4727896141547086340 2022-11-11T04:20:06Z あとで読む https://b.hatena.ne.jp/kyama65/20221111#bookmark-4727896141547086340 2022-11-11T04:17:11Z あとで読む https://b.hatena.ne.jp/xef/20221111#bookmark-4727896141547086340 2022-11-11T03:45:50Z ComputerScience https://b.hatena.ne.jp/hmori52/20221111#bookmark-4727896141547086340 2022-11-11T03:26:54Z https://b.hatena.ne.jp/dkanikama/20221111#bookmark-4727896141547086340 2022-11-11T03:24:19Z https://b.hatena.ne.jp/sekaiiti/20221111#bookmark-4727896141547086340 2022-11-11T03:20:41Z あとで読む https://b.hatena.ne.jp/chidoriashi1990/20221111#bookmark-4727896141547086340 2022-11-11T03:17:28Z あとで読む https://b.hatena.ne.jp/endor/20221111#bookmark-4727896141547086340 2022-11-11T02:33:15Z https://b.hatena.ne.jp/momonga_dash/20221111#bookmark-4727896141547086340 2022-11-11T01:43:03Z https://b.hatena.ne.jp/yk5656/20221111#bookmark-4727896141547086340 2022-11-11T01:42:14Z サーバーレス https://b.hatena.ne.jp/kybernetes/20221111#bookmark-4727896141547086340 ああ、たしかに純粋な計算論と親和性が高いねえ 2022-11-11T01:13:52Z https://b.hatena.ne.jp/chankuri/20221111#bookmark-4727896141547086340 2022-11-11T01:11:15Z あとで読む https://b.hatena.ne.jp/mgl/20221111#bookmark-4727896141547086340 2022-11-11T01:02:12Z あとで読む https://b.hatena.ne.jp/celeron1ghz/20221111#bookmark-4727896141547086340 2022-11-11T00:46:35Z https://b.hatena.ne.jp/miguchi/20221111#bookmark-4727896141547086340 2022-11-11T00:42:28Z https://b.hatena.ne.jp/worpe/20221111#bookmark-4727896141547086340 2022-11-11T00:40:56Z あとで読む https://b.hatena.ne.jp/joltkun/20221111#bookmark-4727896141547086340 2022-11-11T00:28:32Z AWS サーバーレス https://b.hatena.ne.jp/nsdtks/20221111#bookmark-4727896141547086340 2022-11-11T00:24:01Z https://b.hatena.ne.jp/athagi/20221111#bookmark-4727896141547086340 2022-11-11T00:13:10Z https://b.hatena.ne.jp/kamocyc/20221111#bookmark-4727896141547086340 2022-11-10T23:54:53Z https://b.hatena.ne.jp/advblog/20221111#bookmark-4727896141547086340 2022-11-10T23:47:19Z https://b.hatena.ne.jp/kwy/20221111#bookmark-4727896141547086340 2022-11-10T23:43:52Z あとで読む serverless https://b.hatena.ne.jp/mstk_knife/20221111#bookmark-4727896141547086340 2022-11-10T23:26:59Z あとで読む https://b.hatena.ne.jp/mushroomslider/20221111#bookmark-4727896141547086340 2022-11-10T23:11:33Z https://b.hatena.ne.jp/pontatanpo/20221111#bookmark-4727896141547086340 2022-11-10T23:06:33Z https://b.hatena.ne.jp/tanimiyan/20221111#bookmark-4727896141547086340 2022-11-10T22:46:43Z https://b.hatena.ne.jp/kikuchi1201/20221111#bookmark-4727896141547086340 2022-11-10T22:20:42Z https://b.hatena.ne.jp/NSTanechan/20221111#bookmark-4727896141547086340 2022-11-10T21:54:19Z https://b.hatena.ne.jp/everybodyelse/20221111#bookmark-4727896141547086340 ほえー。ブラックボックスなサーバレスの挙動を意味論で数学的に記述できると。数学的に記述できれば厳密なレビューが可能になるのでは？ということか。概要はわかるが途中の式展開が全くわからんw 2022-11-10T21:44:34Z https://b.hatena.ne.jp/sw4122/20221111#bookmark-4727896141547086340 2022-11-10T21:35:54Z https://b.hatena.ne.jp/Hiro_Matsuno/20221111#bookmark-4727896141547086340 2022-11-10T21:05:45Z https://b.hatena.ne.jp/nigiri10can/20221111#bookmark-4727896141547086340 2022-11-10T17:48:13Z https://b.hatena.ne.jp/isdh/20221111#bookmark-4727896141547086340 2022-11-10T16:50:21Z あとで読む https://b.hatena.ne.jp/bongkura/20221111#bookmark-4727896141547086340 2022-11-10T16:43:12Z あとで読む https://b.hatena.ne.jp/teslur/20221111#bookmark-4727896141547086340 住井先生の名前久しぶりにみた。いま教授なのか。 2022-11-10T16:29:17Z https://b.hatena.ne.jp/wushi/20221111#bookmark-4727896141547086340 2022-11-10T16:17:30Z あとで読む https://b.hatena.ne.jp/yamori0408/20221111#bookmark-4727896141547086340 2022-11-10T16:08:57Z あとで読む https://b.hatena.ne.jp/pekee-nuee-nuee/20221111#bookmark-4727896141547086340 サーバレスと操作的意味論、まるでレイヤーの違う話と思っていぶかしんだが、サーバレスでよくある動きが操作的意味論に回収できるというような話で面白かったけどそれはそれとして全然理解できてない 2022-11-10T15:59:31Z 技術 https://b.hatena.ne.jp/koroharo/20221111#bookmark-4727896141547086340 2022-11-10T15:55:53Z https://b.hatena.ne.jp/yasuhiro1212/20221111#bookmark-4727896141547086340 2022-11-10T15:55:37Z あとで読む https://b.hatena.ne.jp/tnoda78/20221111#bookmark-4727896141547086340 2022-11-10T15:49:22Z あとで読む https://b.hatena.ne.jp/yigarashi/20221111#bookmark-4727896141547086340 2022-11-10T15:37:59Z あとで読む https://b.hatena.ne.jp/kazema_tsu/20221111#bookmark-4727896141547086340 2022-11-10T15:37:28Z あとで読む https://b.hatena.ne.jp/peketamin/20221111#bookmark-4727896141547086340 2022-11-10T15:35:00Z https://b.hatena.ne.jp/uokada/20221111#bookmark-4727896141547086340 2022-11-10T15:28:15Z あとで読む https://b.hatena.ne.jp/kuyo/20221111#bookmark-4727896141547086340 2022-11-10T15:10:37Z あとで読む https://b.hatena.ne.jp/fuji_haruka/20221110#bookmark-4727896141547086340 2022-11-10T14:50:35Z https://b.hatena.ne.jp/xyzpda/20221110#bookmark-4727896141547086340 2022-11-10T14:11:05Z あとで読む https://b.hatena.ne.jp/fumikony/20221110#bookmark-4727896141547086340 2022-11-10T13:39:26Z あとで読む https://b.hatena.ne.jp/trycycler/20221110#bookmark-4727896141547086340 2022-11-10T13:36:06Z あとで読む https://b.hatena.ne.jp/bayaread/20221110#bookmark-4727896141547086340 2022-11-10T13:35:48Z https://b.hatena.ne.jp/sikohari/20221110#bookmark-4727896141547086340 2022-11-10T12:37:17Z あとで読む https://b.hatena.ne.jp/t_otoda/20221110#bookmark-4727896141547086340 2022-11-10T12:19:37Z あとで読む https://b.hatena.ne.jp/pxaxcxixfxixcxa/20221110#bookmark-4727896141547086340 2022-11-10T12:14:18Z https://b.hatena.ne.jp/parmesan-0813/20221110#bookmark-4727896141547086340 2022-11-10T12:03:18Z あとで読む https://b.hatena.ne.jp/century_c_from/20221110#bookmark-4727896141547086340 2022-11-10T11:55:15Z https://b.hatena.ne.jp/kumapo0313/20221110#bookmark-4727896141547086340 2022-11-10T11:45:24Z AWS https://b.hatena.ne.jp/toshikish/20221110#bookmark-4727896141547086340 2022-11-10T11:11:59Z https://b.hatena.ne.jp/dhesusan4649/20221110#bookmark-4727896141547086340 2022-11-10T10:53:10Z aws サーバーレス 論文 プログラミング https://b.hatena.ne.jp/yug1224/20221110#bookmark-4727896141547086340 2022-11-10T09:59:41Z https://b.hatena.ne.jp/tezu35/20221110#bookmark-4727896141547086340 2022-11-10T07:17:02Z AWS