Webを構成する重要な要素の1つであるHTTPは、その最新仕様で2層構造となり、バージョンに関係なく使えるSemanticsと、特徴の異なる通信仕様を定めたHTTP/1.1、2、3に分割されました。 さらに現在では、HTTPの上にあらためてUDPやIP、イーサネットなどのプロトコルを実装する提案が行われており、まさにHTTPは通信の全てを飲み込む勢いで進化しつつあります。 こうしたHTTPの最新動向の解説が、大手CDNベンダでエッジクラウドなども展開するFastlyが2023年11月8日開催したイベント「Yamagoya 2023」で同社シニアプリンシパルエンジニアの奥一穂氏が行ったセッション「HTTPが全てを飲み込む」にて行われました。 本記事ではこのセッションをダイジェストで紹介していきます。記事は以下の3つに分かれています。 HTTPが全てを飲み込む（前編）～HTTPの2層構造と、H
redefining for loop variable semantics · golang/go · Discussion #56010
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
RFC 9110: HTTP Semantics
RFC 9110 HTTP Semantics Abstract The Hypertext Transfer Protocol (HTTP) is a stateless application-level protocol for distributed, collaborative, hypertext information systems. This document describes the overall architecture of HTTP, establishes common terminology, and defines aspects of the protocol that are shared by all versions. In this definition are core protocol elements, extensibility mec
Machine Logic At the junction of computation, logic and mathematics 08 Mar 2023 [ examples inductive definitions ] The simplest way to precisely specify the meanings of programming language expressions is through an operational semantics. Such a definition consists of a set of what look like the inference rules of a logic, stating the conditions under which a given expression can be reduced to a v
メモ：Exactly-once semanticsとKafkaとAWS Lambda - まつざっきブログ
OSDIで行われた以下の発表の資料を読んでいて、「Exactly-once semanticsってなんだっけ？」と疑問に思い、調べたことのメモ。 "Fault-tolerant and transactional stateful serverless workflows" https://t.co/i4L2jLYIlQ from Zhang et al was a good read. Stateful serverless is a great research area, and this is a smart approach to some aspects of the problem. A couple comments:— Marc Brooker (@MarcJBrooker) 2020年11月10日 Fault-tolerant and transactional sta
Functional Semantics in Imperative Clothing There's an old joke about programming with pure functions: “Eventually you have to do some effects. Otherwise you're just heating up the CPU.” I've always wanted the purely functional Roc programming language to be delightful for I/O-heavy use cases. But when I recently sat down to port an I/O-heavy shell script from Bash to Roc, I wasn't happy with how
GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics.
This document consists of two chapters. Every Pantagruel chapter has a head and a body, separated by a horizontal line. In the first chapter head we introduce some vocabulary. Vocabulary is of two basic kinds: domains, which represents sets or types of things; and procedures, which represent behaviours with, or relationships between, things of a certain type. In the first chapter body we make some
R5RSのformal semanticsをOCamlで書いた 背景 bitのバックナンバーを読んでいたら見つけた 「プログラム検証入門」という記事（1980年9月〜12月号掲載）が非常に面白かった。 その記事に参考文献として載っていた 「数理情報学入門―スコット・プログラム理論」という本を買ってみたら、 これまたすごく面白かった。 この本で使っている記号が、R5RSのformal semanticsで使っている記号と 大体同じであることを思い出し、R5RSのformal semanticsを読み直してみたら、 以前よりしっかり理解できて、これまた非常に楽しかった。 楽しかったのだが、 call-with-valuesの定義 がおかしいことに気づいた。 cwv: E* -> K -> C [call-with-values] cwv = twoarg(λε1ε2κ.applicate ε1
GitHub - dariopavllo/style-semantics: Code for the paper "Controlling Style and Semantics in Weakly-Supervised Image Generation", ECCV 2020
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - kframework/javascript-semantics: KJS: A Complete Formal Semantics of JavaScript
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Tweag I/O - How to make your papers run: Executable formal semantics for your language
How to make your papers run: Executable formal semantics for your language This post will show a simple example of how to use Makam, a very powerful, not yet widely-known, programming language to specify executable semantics of a simply typed lambda calculus with recursion and numbers (PCF). I'm using Makam during my internship at Tweag to specify and experiment with the design of a new configurat
Community PyTorch Governance | Build + CI PyTorch Contribution Guide PyTorch Design Philosophy PyTorch Governance | Mechanics PyTorch Governance | Maintainers Developer Notes CUDA Automatic Mixed Precision examples Autograd mechanics Broadcasting semantics CPU threading and TorchScript inference CUDA semantics Distributed Data Parallel Extending PyTorch Extending torch.func with autograd.Function
The Habitat-Matterport 3D Semantics Dataset (HM3DSem) is the largest-ever dataset of 3D real-world and indoor spaces with densely annotated semantics that is available to the academic community. HM3DSem v0.2 consists of 142,646 object instance annotations across 216 3D-spaces from HM3D and 3,100 rooms within those spaces. The HM3D scenes are annotated with the 142,646 raw object names, which are m
This week, we’re beginning a new series of posts exploring some of the more technically challenging features of C++11 and beyond. These will be deeper dives than we’ve done previously — covering more than just stability and correctness — while maintaining our focus on programmers new to modern C++. For our first topic, we’re going to take a look at how we can use move-semantics to avoid some poten
Semantics (セマンティクス) - MDN Web Docs 用語集: ウェブ関連用語の定義 | MDN
プログラミングでは、セマンティクスとは、コードの断片の意味を指します。たとえば、「JavaScript でその行を実行すると、どのような効果があるのか？」、「その HTML 要素には、どのような目的や役割があるのか？」 (「どのように見えるのか？」ではなく)。 JavaScript において、文字列の引数を取り、その文字列を textContent とする <li> 要素を返す関数を想像してみてください。 build('Peach') または createLiWithContent('Peach') という関数名の場合、何をするのかを理解するためにコードを見る必要があるのはどちらでしょうか？
The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert's control panel, a necessary tool for configuring, compiling, installing, maintaining, and deploying systems. Even though it is powerful, critical infrastructure, the POSIX shell is maligned and misunderstood. Its power and its subtlety are a dangerous combination. We define a formal, mechani
Value Semantics とは
Value Semantics という用語は C++ などの言語で用いられることが多いようです。しかし、 Swift における Value Semantics は、それらとは少し異なるニュアンスを持っています。 Swift における Value Semantics については、 WWDC 2015 のセッション “Building Better Apps with Value Types in Swift” で詳しく説明されています。しかし残念ながら Value Semantics の定義については述べられていません。では Swift における Value Semantics の定義はどこにあるのでしょうか。それは、 Swift リポジトリの中のドキュメント “Value Semantics in Swift” です。 “Value Semantics in Swift” は 201３ 年
プログラミングのために必要な三要素 ーSemantics, Syntax, Pragmaticsー｜山崎智仁（Tomohito Yamazaki）
前回の記事では、「プログラミングをすれば、論理的思考を身につけることができる」という、言ってしまえばよくある短絡的な思い込みについて明らかにしていきました。 今回は、前回の記事で取り上げた、 「雪だるま式」のプログラミングと、 「写経式」のプログラミングでは、 「論理的思考」や、来年度より公立小学校のプログラミング教育の軸となる「プログラミング的思考」を身につけることはできないことはおろか、 プログラミングできるようになるまでの道のりは程遠いものになってしまうことを、プログラミングに必要な三要素からあぶり出していきます。 プログラミングの三要素プログラミングの力は、下の３つが組み合わさって成長していきます。 意味を読み取る【Semantics】 構文を創り出す【Syntax】 文脈を使い熟す【Pragmatics】 それぞれの要素がどのようなものなのか一つ一つ見ていきましょう。 意味を読み
BEN FOLDS関連で紹介したいのが、パワーポップの隠れた名盤THE SEMANTICS（ザ・セマンティクス）唯一の作品「POWERBILL」ですね。 ベンがインディーズ時代に組んでいたバンド“マジューシャ”にも名前を連ねていたMILLARD POWERS（vo・b・g・k）とWILL OWSLEY（vo・g・b・k）によるプロジェクトです。 この稀有なるメロディーメーカー二人を引き合わせたのもベンらしいっす。 恐らく日本盤しかリリースしてないとは思いますが、珠玉のメロディーの詰まった名盤なので、ギターポップ、パワーポップファンには超オススメしちゃいます。特にベン・フォールズは勿論、ビートルズ、トッド・ラングレン、XTC、はたまたビッグ・スター、ジェリーフィッシュなんかの名前でピンと来る方はツボでしょう。 ドラムは今やオアシスの屋台骨ザック・スターキーですね。可も無く不可も無い無難なドラ
ARCore の Scene Semantics API と Geospatial Depth API を使ってみる | Google for Developers
ARCore の Scene Semantics API と Geospatial Depth API を使ってみる コレクションでコンテンツを整理 必要に応じて、コンテンツの保存と分類を行います。 1. 始める前に ARCore は、スマートフォンで拡張現実（AR）エクスペリエンスを構築するための Google のフレームワークです。Scene Semantics API と Geospatial Depth API は、AR エクスペリエンスでユーザーの周囲の環境を把握できるようにします。 Scene Semantics API は、機械学習（ML）モデルを使用してカメラの画像を分析し、ラベル付けされたピクセルの画像を提供します。11 種類の屋外ラベルを区別できます。 Geospatial Depth API は、動きや ToF（Time of Flight）などのアクティブなハードウ
9.12.1 Attribute syntax and semantics [dcl.attr.grammar] C++N4910:2022 (121) p239.cpp - Qiita
9.12.1 Attribute syntax and semantics [dcl.attr.grammar] C++N4910:2022 (121) p239.cppDockercodingAdventCalendar2022DoCAPC++N4910 はじめに(Introduction) N4910 Working Draft, Standard for Programming Language C++ n4910は、ISO/IEC JTC1 SC22 WG21の作業原案(Working Draft)です。 公式のISO/IEC 14882原本ではありません。 ISO/IEC JTC1 SC22 WG21では、可能な限り作業文書を公開し、幅広い意見を求めています。 一連の記事はコード断片をコンパイルできる形にする方法を検討してコンパイル、リンク、実行して、規格案の原文と処理系(g++
![9.12.1 Attribute syntax and semantics [dcl.attr.grammar] C++N4910:2022 (121) p239.cpp - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/86df38c251bfe7fe684e1b7674fa964e0a0630e0/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9OS4xMi4xJTIwQXR0cmlidXRlJTIwc3ludGF4JTIwYW5kJTIwc2VtYW50aWNzJTIwJTVCZGNsLmF0dHIuZ3JhbW1hciU1RCUyMEMlMkIlMkJONDkxMCUzQTIwMjIlMjAlMjgxMjElMjklMjBwMjM5LmNwcCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9ZDlmNDQzNGQ4OWZlOWJmOWI5ZjQwZGI3YWE0ZjNmMTI%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBrYWl6ZW5fbmFnb3lhJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz0xNmIzNGJjODAyMjJiMmU3MmM4ZWFiODRkOGU2MWVjZA%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D618759efd58debe611dd45bb061709c1)
【 この~pageでは、 ~HTTP意味論を成す内容のうち， `7 〜 15＠~HTTPsem§ 以外を成す部分 （概ね、個別の［ ~field／~method／状態s~code ］には関わらない部分） を述べる。 】 ◎要約 ~HTTP（ `Hypertext Transfer Protocol^en ）は、 分散型の協調的な~hypertext情報~system用の，`~stateless$な応用~levelの~protocolである。 この文書は、 この~protocolの： 全般的な~architectureについて述べる。 共通な各種用語を確立する。 次に挙げるものを~~含む，~HTTPのすべての~versionから共有される側面を定義する ⇒＃ 中核を成す~protocol要素, 拡張能の仕組み, "`http$c" および "`https$c" ~URI~scheme, ◎
米Googleは，知識マネジメント企業の米Applied Semantics社を買収したことを米国時間4月23日に発表した。同社は，カリフォルニア州サンタモニカに拠点に置き，オンライン広告，ドメイン名，企業情報管理の市場向けソフトウエアの作成を手がけてきた。 Googleは，買収でApplied Semanticsの製品，エンジニアリング・チームが加わることにより，コンテンツをターゲットにした広告提供を含め，検索と広告プログラムの強化を期待している。また，買収により南カリフォルニアにおけるエンジニアリングのプレゼンス向上と求人活動の促進を狙う。 Applied Semanticsが保有する特許技術CIRCAは，人間の思考を真似た方法でWebサイトや情報のレポジトリにある情報を理解，整理，抽出する。そのため，より効率的な情報検索が可能になる。同技術を利用した「AdSense」により，Webパ
タグ AIStatefulWidgetアセットWidgetOfTheWeekwidgetwhat's newversionURLデコードurlTweenAnimationBuildertrytestsyncfusion_flutter_calendarstreamStateアプリ情報StackSSDsinkSFCalendarSchedulerBindingrunZoneGuardedrunZoneriverpodregexpregexQRコードqr-codeアニメーションアルゴリズムpackage_info_plus下線置換置き換える空き容量正規表現文字列抽出容量削減容量多言語対応多言語化対応多言語例外処理一覧アンダースコア一致マークダウンマッチパララックス効果デザインディスク容量テストセキュリティグラスモーフィズムカメラエンコードアンダーラインpubspec.yamlpackage_i
はじめに Google I/O 2023 でARCore v1.37.0 として下記の新機能が発表されました。 地理空間のクリエイター（Geospatial Creator） シーンのセマンティクス（Scene Semantics） ストリート ジオメトリ（Streetscape Geometry） 屋根用アンカー（Rooftop anchors） 地理空間の深さ（Geospatial Depth） Vulkan レンダリング サポート（Vulkan rendering support） Unity（ARFoundation）非対応 電子式手ぶれ補正機能（Electronic Image Stabilization） Unity（ARFoundation）非対応 ※参考： ARCore v1.37.0 の新機能 この中から本記事では シーンのセマンティクス（Scene Semantics）
アクセシブルFlutter: Semantics入門
Flutter界隈の皆さんこんにちは。mjhdです。 今日は、FlutterのSemanticsについてのお話をしたいと思います。 以下のようなウィジェットを見かけること、あるんじゃないでしょうか？ 何のためにあるのか分からないままコピペしたり、よく分からないので消してしまったり、そんな経験みなさんもあると思います。 この記事では、これらのSemanticsウィジェットが何のためにあるのか、どうに使うべきなのかを解説していきたいと思います。 Flutterの設計を見るとSemanticsは大事らしい 何のためにあるのか分からないまま消してしまうこともあるSemantics、実はとても大事なものらしいのです。 Flutterの内部実装を読んでみると、FlutterはSemantics機能に注力しており、我々が書いたウィジェットは「描画エンジン」と「支援技術」の２つに送られるよう設計されていま
yyyy/mm/dd @Zahlangabeheft 『言語哲学大全IV』が"truth-conditional theory of meaning"を「真理条件意味論」と訳していることに今さら気付いた。というか今まで気付かなかった俺は何て間抜けだったんだろう。 2011-07-01 01:20:04 yyyy/mm/dd @Zahlangabeheft 飯田先生は"theory of meaning"の意味で「意味論」と言っていることが多いように見えるなあ…。"semantics"の意味で言ってるところもあるのかなあ…。だとすればよくごちゃごちゃにならないなあ…。 2011-07-01 01:26:10
RFC 9110 - HTTP Semantics (RFC 9110) 日本語訳 原文URL : https://www.rfc-editor.org/rfc/rfc9110.html タイトル : RFC 9110 - HTTPセマンティクス（RFC 9110） 翻訳編集 : 自動生成 [要約] RFC 9110は、HTTP/1.1およびHTTP/2のセマンティクスとコンテンツに関する標準を定義しています。この文書は、HTTPプロトコルがどのように機能し、Webサーバーとクライアント間で情報がどのように交換されるかについての基本的なルールと概念を提供します。主な目的は、リソースの識別、操作、および表現を通じてインターネット上での情報の伝達と操作を可能にすることです。このRFCは、Web開発、API設計、インターネット通信の基盤として広く利用されています。関連するRFCには、RFC 72
論文「Is the Free-Energy Principle a Formal Theory of Semantics?」の背景を説明する - 蒼龍のタワゴト~認知科学とか哲学とか~
ネットを見てたら、自由エネルギー原理で有名なフリストンが共著者の最新論文が紹介されてた。 ツイートを見てたら、この論文がenactivismを否定してるかのような書き込みを見て、気になって論文を眺めてみた。その結果、それは勘違いだと思ったが、その哲学的な背景が分からないと勘違いしても仕方ないかな？とは思った。 以下にするのは、この論文の哲学的な背景だけであって、論文の解説はしません。にしても、共著者に哲学の研究者がいないのに、哲学的な議論をしているという、どこか奇妙な論文だ。 内容を認めない反表象主義としてのradical enactivism この論文は対立する二つの立場が問題となっている。その一方が最近、流行りのradical enactivismだ。enactivismはもともとヴァレラが提唱した考え方だが、近年になってその考え方をよりラジカルな形で受け継いだのが、radical e
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
HTTPが全てを飲み込む（前編）～HTTPの2層構造と、HTTP Semanticsとは何か？
The semantics of a simple functional language
Functional Semantics in Imperative Clothing
R5RSのformal semanticsをOCamlで書いた
CUDA semantics — PyTorch 2.3 documentation
Habitat-Matterport 3D Semantics Dataset
neosemantics (n10s): Neo4j RDF & Semantics toolkit - Neo4j Labs
Modern C++ In-Depth — Move Semantics, Part 1
Executable formal semantics for the POSIX shell
Semantics and the popover attribute: what to use when?
隠れた名盤!? THE SEMANTICS | 空パパの戯言
RFC 9110 — HTTP Semantics （日本語訳）
米Googleが米Applied Semanticsを買収，検索と広告技術を強化
【Flutter】Semanticsで視覚障害者も使えるアプリを作ろう
ARCore v1.37.0 Scene Semantics について
「意味論」か「意味の理論」か/Semantics or Theory of Meaning
RFC 9110 - HTTP Semantics (RFC 9110) 日本語訳