About Cosense
Help
Log in
Yu-da1
S
e
m
a
n
t
i
c
s
>
意
味
に
つ
い
て
研
究
す
る
学
問
で
あ
る
。
言
語
学
、
哲
学
、
コ
ン
ピ
ュ
ー
タ
ー
科
学
、
心
理
学
な
ど
、
い
く
つ
か
の
異
な
る
分
野
の
下
位
分
野
を
指
し
て
使
用
さ
れ
る
。
h
t
t
p
s
:
/
/
j
a
.
w
i
k
i
p
e
d
i
a
.
o
r
g
/
w
i
k
i
/
意
味
論
意
味
論
(
言
語
学
)
>
、
言
語
学
に
お
い
て
語
・
句
・
文
・
テ
ク
ス
ト
と
い
っ
た
記
号
列
(
文
字
列
)
の
構
成
に
つ
い
て
論
じ
る
統
語
論
と
2
大
分
野
と
し
て
対
を
な
す
、
そ
の
記
号
列
が
表
す
意
味
に
つ
い
て
論
じ
る
分
野
で
あ
る
。
ま
た
、
実
際
の
発
話
や
文
脈
に
依
存
し
た
記
号
の
使
用
に
関
わ
る
語
用
論
と
も
対
置
さ
れ
る
。
h
t
t
p
s
:
/
/
j
a
.
w
i
k
i
p
e
d
i
a
.
o
r
g
/
w
i
k
i
/
意
味
論
_
(
言
語
学
)
意
味
論
(
論
理
学
)
>
言
語
学
に
お
け
る
統
語
論
は
、
数
理
論
理
学
で
は
証
明
論
に
対
応
す
る
。
同
様
に
し
て
言
語
学
に
お
け
る
意
味
論
に
対
応
す
る
の
が
数
理
論
理
学
に
お
け
る
意
味
論
で
あ
る
。
証
明
論
で
は
対
象
を
単
な
る
記
号
と
し
て
扱
い
、
そ
の
記
号
の
操
作
の
み
に
よ
る
も
の
と
し
て
証
明
を
お
こ
な
う
。
た
と
え
ば
「
点
A
」
と
い
う
も
の
が
あ
っ
て
も
、
そ
れ
が
図
形
的
な
点
で
あ
る
必
然
性
な
ど
と
い
っ
た
こ
と
は
扱
わ
ず
、
与
え
ら
れ
る
公
理
に
現
れ
る
単
な
る
記
号
と
し
て
扱
わ
れ
る
。
そ
れ
に
対
し
、
も
っ
ぱ
ら
モ
デ
ル
理
論
と
呼
ば
れ
る
分
野
で
あ
る
が
、
た
と
え
ば
幾
何
学
に
あ
っ
て
は
実
際
の
図
形
と
い
っ
た
よ
う
な
具
体
を
扱
う
の
が
意
味
論
で
あ
る
。
h
t
t
p
s
:
/
/
j
a
.
w
i
k
i
p
e
d
i
a
.
o
r
g
/
w
i
k
i
/
意
味
論
_
(
論
理
学
)
プ
ロ
グ
ラ
ム
意
味
論
>
計
算
機
科
学
(
特
に
理
論
計
算
機
科
学
と
分
類
さ
れ
る
こ
と
も
あ
る
)
の
一
分
野
で
、
プ
ロ
グ
ラ
ミ
ン
グ
言
語
の
意
味
と
計
算
モ
デ
ル
に
関
す
る
分
野
で
あ
る
。
形
式
的
な
も
の
は
、
プ
ロ
グ
ラ
ミ
ン
グ
言
語
の
形
式
意
味
論
と
も
呼
ば
れ
る
。
標
準
規
格
等
で
は
形
式
的
で
な
く
意
味
論
を
与
え
て
い
る
も
の
も
多
い
。
形
式
的
意
味
論
表
示
的
意
味
論
>
対
象
と
す
る
言
語
の
語
句
そ
れ
ぞ
れ
を
「
表
示
」
に
変
換
す
る
。
表
示
的
意
味
論
は
コ
ン
パ
イ
ル
と
対
応
す
る
と
考
え
る
こ
と
も
で
き
る
が
、
意
味
論
の
議
論
で
は
そ
の
目
的
(
形
式
化
し
た
い
、
と
い
う
場
合
が
多
い
)
か
ら
、
数
学
的
な
形
式
化
さ
れ
た
「
言
語
」
で
あ
る
こ
と
が
多
い
操
作
的
意
味
論
>
何
ら
か
の
変
換
を
施
す
の
で
は
な
く
、
そ
の
言
語
の
実
行
に
よ
っ
て
直
接
的
に
意
味
を
説
明
す
る
。
操
作
的
意
味
論
は
イ
ン
タ
プ
リ
タ
と
対
応
す
る
と
考
え
る
こ
と
も
で
き
る
が
、
表
示
的
意
味
論
の
場
合
と
同
様
に
、
こ
の
場
合
の
「
イ
ン
タ
プ
リ
タ
の
実
装
」
は
何
ら
か
の
コ
ン
ピ
ュ
ー
タ
上
で
の
実
装
で
は
な
く
、
数
学
的
な
形
式
化
さ
れ
た
「
イ
ン
タ
プ
リ
タ
」
で
あ
る
こ
と
が
多
い
。
操
作
的
意
味
論
を
抽
象
機
械
(
例
え
ば
S
E
C
D
マ
シ
ン
)
で
定
義
す
る
こ
と
も
可
能
で
、
プ
ロ
グ
ラ
ム
の
語
句
の
並
び
が
抽
象
マ
シ
ン
の
上
で
引
き
起
こ
す
状
態
変
化
を
説
明
す
る
こ
と
に
よ
っ
て
各
語
句
の
意
味
を
説
明
す
る
。
あ
る
い
は
、
純
粋
な
ラ
ム
ダ
計
算
の
よ
う
に
、
操
作
的
意
味
論
を
対
象
言
語
の
語
句
の
並
び
の
統
語
的
変
形
過
程
と
定
義
す
る
よ
う
な
も
の
も
あ
る
。
公
理
的
意
味
論
>
語
句
の
並
び
に
「
論
理
学
的
公
理
」
を
適
用
す
る
こ
と
に
よ
っ
て
意
味
を
明
ら
か
に
す
る
。
公
理
的
意
味
論
で
は
語
句
の
意
味
と
そ
れ
を
表
す
論
理
式
を
区
別
し
な
い
。
こ
の
場
合
、
プ
ロ
グ
ラ
ム
の
意
味
は
論
理
学
で
証
明
可
能
な
も
の
と
等
価
で
あ
る
。
公
理
的
意
味
論
の
典
型
的
な
例
と
し
て
ホ
ー
ア
論
理
が
あ
る
。
な
ぜ
S
e
m
a
n
t
i
c
W
e
b
と
い
う
の
か
を
考
え
な
い
と
い
け
な
い
Yudai
O
p
e
n
w
e
b
で
い
い
は
ず
で
、
O
p
e
n
D
a
t
a
で
い
い
わ
け
で
、
そ
れ
で
も
S
e
m
a
n
t
i
c
w
e
b
の
実
現
の
た
め
に
O
p
e
n
D
a
t
a
が
あ
る
理
由
は
意
味
の
あ
る
W
e
b
を
作
る
た
め
Yudai
自
分
が
考
え
て
い
た
こ
と
は
表
面
的
過
ぎ
る
Related
Sort by
Related
Modified
Created
Last visited
Most linked
Page rank
Title
Links
ホーア論理
>[公理的意味論]の立場でプログラムの正当性について厳密に[推論]するために[第一階述語論理]を拡張した形式論理の言語を言う。https://ja.wikipedia.org/wiki/ホーア論理
統語論
>ヒト・人間の言語(いわゆる自然言語)において文が構成(combine)される仕組み、または、それ以外の形式言語なども含む言語学の対象である言語一般において文が構成される仕組み、及びそれを扱う言語学の一分野である。[統辞論](とうじろん)、[構文論](こうぶんろん)ともいう。https://ja.wikipedia.org/wiki/統語論
SECDマシン
>関数型言語のコンパイラのターゲット(目的機械)を意図し、後に大きな影響を与えた抽象機械である。SECD は Stack(スタック)、Environment(環境)、Code(コード)、Dump(ダンプ)の略であり、それぞれ仮想機械にあるレジスタの名称となっている。これらのレジスタはメモリ上の連結リストを指している。https://ja.wikipedia.org/wiki/SECDマシン
Semantic Web
> セマンティック・ウェブの目的はウェブページの閲覧という行為に、データの交換の側面に加えて意味の疎通を付け加えることにある。https://ja.wikipedia.org/wiki/セマンティック%E3%83%BBウェブhttps://csarven.ca/html-overview#semantics[W3C] ( https://archive.is/tYylv )[* Web of document]に加えて、[* Web of data]をサポートする。
Learn Concepts: Semantic Web
GovTech東京や、こども家庭庁が目指す「社会保障制度の診断」や『制度のプッシュ通知』は今のデータ構造じゃ実現できなさそうというメモ
https://note.com/tkgshn/n/n4fd785cf1381https://note.com/tkgshn/n/n4fd785cf1381めっちゃ良かった。このようなことを書ける人が身近にいることに感謝だ[Yudai.icon]で、[オープンソース戦略をオープンに議論する会]の時とでも思っていたのは、本当に必要なのは[Open data]ではなく、いかにデータに[Semantics]を持たせるか、リンク[Linked Data]させるかだと思う[Yudai.icon]
Cryptree
意味論
推論
ちゃんと理解する[Yudai.icon]>既知の事柄を元にして未知の事柄について予想し、論じる事である。https://ja.wikipedia.org/wiki/推論>論の正しさを[妥当性]という。あらゆる事柄は言語において表現されるのであるから、妥当な推論には、その推論が指し示す事柄が妥当であること([意味論])、その推論が行われた状況において妥当であること([語用論])、その推論の構文が妥当であること([構文論])、が考えられる。
抽象機械
チューリングマシン
>チューリングマシン (英: Turing machine) は、[アラン・チューリング]が「[計算可能性]」に関する議論のために提示した[抽象機械]であるhttps://ja.wikipedia.org/wiki/チューリングマシン論文https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/plms/s2-42.1.230めっちゃ読んでみたいけどお金かかる[Yudai.icon]
Semantic Web
Web is Dead. Long Live the InternetーWebは理想を諦めて、インターネットの一部になった
https://takoratta.hatenablog.com/entry/webisdeadたまたま見かけた[Yudai.icon]英語の本文は、ログインがいる.....くっ>[Web]が死に、アプリケーションを中心としたインターネットが新たな主役になっているという主張だった。> アンダーソンはこの中で、かつてHTMLベースのWebページが中心だったインターネット利用の大半が、すでにYouTubeやFacebook、Twitter(現X)、そしてスマートフォンのアプリなど、Webブラウザの外側での活動に移っていると指摘していた。人々はもはやリンクをたどって情報を集めるより、アルゴリズムによってキュレーションされたフィードや、目的別に設計された専用アプリを通じて情報にアク
オープンソース戦略をオープンに議論する会
https://www.ipa.go.jp/event/2024/oss20250306.html来てみた[Yudai.icon]チェックイン:OSSの問題リーナスがいなくなったらどうする?
Monas document 1.0.1 (draft)
データのサイロ化についての言及
[Tim Berners-Lee]が言及していたから使用するようになった[Yudai.icon]何で言及されていたのかを見つけられないから探している[Semantic web]とサイロしているって問題へのアプローチhttps://link.springer.com/article/10.1007/s00146-021-01371-1https://www.theguardian.com/technology/2012/apr/18/tim-berners-lee-google-facebook
知っているとは?
今まで僕自身は「[知的好奇心]」によって色々と調べては考えてを繰り返してきた[Yudai.icon]これが悪い事でもなんでもないのは百も承知ただもっと知るってことを豊かにできる気がするんよ知っていると思って話してたとしてもまだまだ知らないことは沢山ある例えば[Semantic web]に基づいてとか、調べてるのに初めて言及された記事を今まで読んだことがなかった[Yudai.icon]
Meta-Platforms and Cooperative Network-of-Networks Effects
共有ドキュメントの作成
[Monas]の説明のためのドキュメント論文や記事なども含めて共有する時はScrapboxよりGoogle Documentで作成した方が良さそう[Yudai.icon]作成 done (2024/2/12)https://docs.google.com/document/d/163Q5Qp8x2u9iy02FYn-N4oGKx7kOcu78cXl8G7QVU3A/edit?usp=sharing
The Linked Open Data Cloud
Semantic Webらへんの言葉を定義していく
with [ChatGPT.icon][Semantic Web], [Linked Data], [Linked Open Data]>Semantic Web、Linked Data、およびLinked Open Dataは、データをWeb上で相互運用可能でアクセスしやすくするための関連するが異なる概念です。それぞれの違いを理解するには、それぞれの目的と使用法を理解することが重要です。>> [* [Semantic Web]]
データを遊牧民にする
今まで考えていた事の理論武装にすぎないかもしれない[Yudai.icon][プライバシー]を考える上で個人を保護をする事に重点が置かれている僕はそのように感じるし、大前提なのは分かるがその先の議論が果たして行われているのか?という疑問がある[2023/8/3]でもPrivacy nighatってのに参加したときも、[MyData Japan Community Call]にも参加したときもそう感じた
A Cypherpunk's Manifesto
#サイファーパンク宣言>電子時代の開かれた社会にはプライバシーが必要だ。プライバシーは秘密ではない。私的なこととは、全世界に知られたくないことであるが、秘密とは、誰にも知られたくないことである。プライバシーとは、[* 自分自身を選択的に世間に明らかにする力]である。[Monas Doc(Draft)]にも書いたこと[Yudai.icon]もっと早く答えを見つけられたはずだーー[Yudai.icon]
VCのsyntax + proof formatのパターン
>W3C VCのsyntax+proof formatのパターンを考えると> 1. JSON + JWT> 2. JSON-LD + JWT> 3. JSON + LD-Proof> 4. JSON-LD + LD-Proof
Monas Doc(Draft)
2023 9/28
[佐古教授]とお話しする機会をいただけた[佐古研究室]DIDはWalletに依存している秘密鍵がWalletの仕組みに依存しているから信頼できないつまりどのような仕組みになっているかが透明性がない
HTML5
>人間にも読解可能で、尚且つ、コンピュータやデバイス(ウェブブラウザ、構文解析器など)にも矛盾せず読解されるとともに最新のマルチメディアをサポートする言語に向上することである。HTML5ではHTMLだけでなく[XHTML]、DOMのHTML関係の部分、ECMAScriptのAPIも追加になっている。https://ja.wikipedia.org/wiki/HTML5[Web5: Open to Build - Block/TBD]のWeb historyで出てきた[Yudai.icon]
データ管理プラットフォーム(draft)
Trusted Web Whitepaper
Linked Open Data
Solidは抽象化することで相互運用性が生まれる
題名がなんか微妙ってことは一旦おいて置く[2023/7/24 Discussion]で[Dixon Siu]が言ってたし、自分も思ってたけど[Solid]ってかなり独立して動いているように見えるってか動いてる[OSS]で進めてはいる現実は結構コードを見つけられなかったりしているのは一旦置いとく
DIDKit
「様々なプラットフォームにわたって[VC]と[DID]を提供する」[W3C]VCを中心に構築されたCrecential systemのCore engineである発行及び検証メカニズムに可能な限りアクセスしやすく、シンプルでポータブルなものにするCore ConponentsKye MaterialData Payload
Monas (draft) Eng ver
2023/7/8
そうえば東京に来て1年が経つから書いてみる[Yudai.icon]NPO法人を辞めてこの頃に東京に引っ越してきた。今頃はPolygonのハッカソンが終わって、そのままHackFSに参加している頃だ。この時に[Pipele]を開発した。ハッカソンとか参加したことないし、外国人の人とプロダクト開発なんてしたことがなかった。ってかそもそもちゃんとプロダクトを設計して開発すること自体が初めてだった。全てが英語だし、アイディアって言っても何の情報が必要かどうかも分からなか
Open web
Rich in Data, Poor in Wisdom: Science Needs a Decentralized Data Commons
Open Data
What Are Linked Data and Linked Open Data?
https://www.ontotext.com/knowledgehub/fundamentals/linked-data-linked-open-data/[Open Data]データが誰でも自由に使用及び配布できる[Linked Data]機械可読な相互リンクされたデータをWeb用で共有するための一連の設計原則
New Links
証明論
モデル理論
プログラム意味論
形式的意味論
表示的意味論
操作的意味論
意味のあるWeb
Created
a year ago
by
Yudai
Updated
a year ago
by
Yudai
Views: 13
Page rank: 13.2
Copy link
Copy readable link
Start presentation
Hide dots
Semantics
意味について研究する学問である。 言語学、哲学、コンピューター科学、心理学など、いくつかの異なる分野の下位分野を指して使用される。
https://ja.wikipedia.org/wiki/意味論
意味論
(言語学)
、言語学において語・句・文・テクストといった記号列(文字列)の構成について論じる
統語論
と2大分野として対をなす、その記号列が表す意味について論じる分野である。また、実際の発話や文脈に依存した記号の使用に関わる語用論とも対置される。
https://ja.wikipedia.org/wiki/意味論_(言語学)
意味論
(論理学)
言語学における
統語論
は、数理論理学では
証明論
に対応する。同様にして言語学における意味論に対応するのが数理論理学における意味論である。証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう。たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず、与えられる公理に現れる単なる記号として扱われる。それに対し、もっぱら
モデル理論
と呼ばれる分野であるが、たとえば幾何学にあっては実際の図形といったような具体を扱うのが意味論である。
https://ja.wikipedia.org/wiki/意味論_(論理学)
プログラム意味論
計算機科学(特に理論計算機科学と分類されることもある)の一分野で、プログラミング言語の意味と計算モデルに関する分野である。形式的なものは、プログラミング言語の形式意味論とも呼ばれる。標準規格等では形式的でなく意味論を与えているものも多い。
形式的意味論
表示的意味論
対象とする言語の語句それぞれを「表示」に変換する。表示的意味論はコンパイルと対応すると考えることもできるが、意味論の議論ではその目的(形式化したい、という場合が多い)から、数学的な形式化された「言語」であることが多い
操作的意味論
何らかの変換を施すのではなく、その言語の実行によって直接的に意味を説明する。操作的意味論はインタプリタと対応すると考えることもできるが、表示的意味論の場合と同様に、この場合の「インタプリタの実装」は何らかのコンピュータ上での実装ではなく、数学的な形式化された「インタプリタ」であることが多い。操作的意味論を
抽象機械
(例えば
SECDマシン
)で定義することも可能で、プログラムの語句の並びが抽象マシンの上で引き起こす状態変化を説明することによって各語句の意味を説明する。あるいは、純粋なラムダ計算のように、操作的意味論を対象言語の語句の並びの統語的変形過程と定義するようなものもある。
公理的意味論
語句の並びに「論理学的公理」を適用することによって意味を明らかにする。公理的意味論では語句の意味とそれを表す論理式を区別しない。この場合、プログラムの意味は論理学で証明可能なものと等価である。公理的意味論の典型的な例として
ホーア論理
がある。
なぜ
Semantic Web
というのかを考えないといけない
Yudai.icon
Open web
でいいはずで、
Open Data
でいいわけで、それでも
Semantic web
の実現のために
Open Data
がある理由は
意味のあるWeb
を作るため
Yudai.icon
自分が考えていたことは表面的過ぎる