サーバーレスは操作的意味論の夢を見るか？ #AWSDevDay / AWS Dev Day 2022 Japan

2022/11/10 69 users AWSDevDay サーバーレス 関数 AWS Lambda

AWS Dev Day 2022 Japan で使用したスライドです。 AWS Lambda を初めとするサーバーレスコンピューティング基盤には、 * 複数の関数が同時に実行され共有リソースにアクセスしうる、本質的に並行システムである * Warm Start により関数インスタンスが内部状態を残したまま再利用されうる * 一つのリクエストに対して複... 続きを読む

まだ「ウイルスは生物か無生物か」で消耗してるの？ - 殺シ屋鬼司令II

2019/05/01 28 users ウイルス 生物 dainさん Kindle版 定義

ウイルスの意味論――生命の定義を超えた存在 作者: 山内一也出版社/メーカー: みすず書房発売日: 2019/01/18メディア: Kindle版この商品を含むブログを見る スゴ本のDainさんから、あなたこの本が気に入るんじゃない？ と教えていただいて読んだ。 この本の著者・山内名誉教授は半世紀以上にわたってウイルス学を研究して... 続きを読む

[書評]　ウイルスの意味論――生命の定義を超えた存在（山内一也）: 極東ブログ

2019/04/11 26 users 書評 ウイルス 定義 極東ブログ 生命

『ウイルスの意味論』という書名や『生命の定義を超えた存在』という副題からは、1980年代の日本のポストモダニズムの一群の書籍を連想させるが、本書の叙述は至って平易で、それでいて内容は最新のウイルス学までをカバーし、かつ、生命とは何かという難問を踏まえつつも、ウイルス学の基本をきちんとおさえている。中... 続きを読む

『ウイルスの意味論』はスゴ本: わたしが知らないスゴ本は、きっとあなたが読んでいる

2019/02/24 70 users ウイルス スゴ本 わたし あなた

見えてるはずなのに見ていないことに気づくと、より世界が見えるようになる。目にウロコなどなく、先入観に邪魔されていただけなのだ。そして、先入観に気づくだけで、世界が一変する。なぜなら、そこに「ある」という確信をもって、見ようとするからだ。 「惑星系＝太陽系」という先入観 たとえば、系外惑星。太陽系以... 続きを読む

『ウイルスの意味論』はスゴ本: わたしが知らないスゴ本は、きっとあなたが読んでいる

2019/02/24 70 users ウイルス スゴ本 わたし あなた

見えてるはずなのに見ていないことに気づくと、より世界が見えるようになる。目にウロコなどなく、先入観に邪魔されていただけなのだ。そして、先入観に気づくだけで、世界が一変する。なぜなら、そこに「ある」という確信をもって、見ようとするからだ。 「惑星系＝太陽系」という先入観 たとえば、系外惑星。太陽系以... 続きを読む

Python - プログラムと機械 - プログラムの意味 - 表示的意味論(文) | Kamimura's blog

2015/11/22 24 users Python Kamimura's blog 機械 意味 笹田

Python - プログラムと機械 - プログラムの意味 - 表示的意味論(文) アンダースタンディング コンピュテーション (オライリージャパン) Tom Stuart (著) 笹田 耕一(著) 笹井 崇司 (翻訳) 原書 開発環境 OS X El Capitan - Apple (OS) Emacs(Text Editor) Python 3.5 (プログラミング言語) アンダースタンディング... 続きを読む

『プログラミング言語の基礎概念』第一章の復習と、自分が躓いたところをメモする - Line 1: Error: Invalid Blog('by Esehara' )

2015/08/10 43 users 要旨 eastern youth error 近況 背中

2015-08-10 『プログラミング言語の基礎概念』第一章の復習と、自分が躓いたところをメモする 近況 神様あなたは 何でも知っていて 心悪しき人を打ち負かすんだろう でも真夏の太陽は 罪を溶かして 見えないが確かに 背中にそれを焼き付ける ―― eastern youth『夏の日の午後』 要旨 今月の最後に『プログラミング言語の基礎概念』第二章の読書会があるので、それに向けて復習をする。意味論... 続きを読む

計算機科学と代数学 プログラム意味論と普遍代数学 蓮尾 一郎 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 2014.1 1 計算機科学とは？ 意味論とは？ 代数学のさまざまな応用に

2015/07/08 29 users 蓮尾 本稿 数学 コンピュータ科学専攻 応用

計算機科学と代数学 プログラム意味論と普遍代数学 蓮尾 一郎 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 2014.1 1 計算機科学とは？ 意味論とは？ 代数学のさまざまな応用についての本特集において，本稿は計算機科学—— そのうちとくに意味論——とよばれる分野に現れる代数学的構造と，その応 用について紹介したい．多くの読者のもともとの興味は数学や，多少外れた としても物理学など... 続きを読む

⾃然⾔語処理分野における ディープラーニングの現状

2013/11/12 80 users ディープラーニング 現状 陽太郎 NLP 構築

⾃ࠞ然⾔ࢠ語処理ྞ分野における ディープラーニングの現状 渡邉 ̀陽太郎ྒ 東北ྖ⼤֒学⼤֒学院情報科学研究科 IBIS2013 企画セッション2：ディープラーニング 2013/11/12 NLPにおけるディープラーニング 2 ⾔ࢠ語モデル の構築 ⾔ࢠ語の構成性 のモデル化 構成的意味論ྔ ⾔ࢠ語解析 （構造予測） Recursive Neural Networks Autoencoders ... 続きを読む

新･あいまいな本日の私: 一階述語論理と集合論は循環している？

2013/06/29 72 users 集合論 述語論理 本日 公理 構造

2013年6月29日土曜日 一階述語論理と集合論は循環している？ お久しぶりです。このブログ、一年近く放ってありましたが、久々の恒真…もとい更新です。今日は、先日見つけた論理学ネタについて。 一階述語論理と集合論は循環していませんか？ 一階述語論理の意味論には集合概念が使われていて集合論の公理は述語論理で記述されているように感じるのですが、これは卵が先か鶏が先かの構造になっていないのでしょうか。 ... 続きを読む

決められる政治の意味論 - 経済を良くするって、どうすれば

2012/06/20 27 users 政治 経済

各紙は、消費税でも、再稼動でも、決断したこと自体を評価しているようだが、本当に、決めたと言えるのかね。筆者には、既定路線で押し切っただけにしか見えない。厳しいように聞こえようが、絶対反対のような非現実的な「わら人形」を打ち負かしても、大した功績とは言えまい。 消費税について言えば、成長との整合性を取る方法を深めることが正しい対し方であり、より良い戦略へ止揚することになったはずだが、実際は、1997... 続きを読む

Alloy でクリプキ可能世界意味論！ - はてな使ったら負けだと思っている

2011/08/30 13 users Alloy 様相論理 論理学 勉強 記録

Alloy, 論理学, 様相論理Alloy でクリプキの可能世界意味論をエンコードしてみた記録。論理学をきちんと勉強した訳じゃないので、もし誤りがあったら是非教えてください。 可能世界意味論と云うのは、偉大な論理学者ソール・クリプキが、なんと若干高校生の頃に思い付いた様相論理の意味論です。様相論理って云うのは、通常の命題論理に、「□P (必然的に P)」とか「◇P (Pであることが可能)」と云う二... 続きを読む

404 Blog Not Found:愛してると「愛してる」の違い - 書評 - 括弧の意味論

2011/02/20 74 users 括弧 書評 本書 著者 本文

こういう面白くかつとりとめのなく役に立つのかわからない本というのは実に書評しづらい。なので「評する」のは諦め、本書が読むに足りる本であるということをまず指摘した上で、ここではあえて私の括弧論を披露しておくことにする。私自身、何かのおりに書いておきたかったので。「つまらなさそう」と思う人は、本文は飛ばして本書の方を。私の括弧論より著者の括弧論の方が面白いのは確かなので。 本書「括弧の意味論」はやや不... 続きを読む