Submit Search
Upload
言語設計者が意味論を書くときに考えていたこと
•
5 likes
•
4,050 views
T
Taku Miyakawa
Follow
All about Kink semantics
Read less
Read more
Technology
Report
Share
Report
Share
1 of 11
Download now
Download to read offline
Recommended
コルーチンの実装、特にコンテキストスイッチをどう実現するのか?について解説します。
コルーチンの実装について
コルーチンの実装について
Taku Miyakawa
関西のKotlin1.0リリース記念勉強会の資料です。
Kotlinこんなん出ましたけど
Kotlinこんなん出ましたけど
yy yank
合同勉強会 in 大都会2013で発表した資料
Kotlinのwebフレームワーク探訪
Kotlinのwebフレームワーク探訪
豊明 尾古
Kotlinスタートブック出版記念meetupの資料です
KuromojiをKotlinで動かす
KuromojiをKotlinで動かす
yy yank
Kotlin Internal勉強会の発表資料です https://connpass.com/event/40360/
Kotlinソースコード探訪
Kotlinソースコード探訪
yy yank
KotlinをAltJSとして使うことについていろいろと検討した結果
Kotlin as an AltJS
Kotlin as an AltJS
Shinya Mochida
2015年9月に行われた関西Kotlin勉強会の資料
Kotlinメジャーver リリースを前に
Kotlinメジャーver リリースを前に
yy yank
shibuya.apk #7 で発表した(する)お話です
開発チームにKotlinを導入した話
開発チームにKotlinを導入した話
Hiroshi Kikuchi
Recommended
コルーチンの実装、特にコンテキストスイッチをどう実現するのか?について解説します。
コルーチンの実装について
コルーチンの実装について
Taku Miyakawa
関西のKotlin1.0リリース記念勉強会の資料です。
Kotlinこんなん出ましたけど
Kotlinこんなん出ましたけど
yy yank
合同勉強会 in 大都会2013で発表した資料
Kotlinのwebフレームワーク探訪
Kotlinのwebフレームワーク探訪
豊明 尾古
Kotlinスタートブック出版記念meetupの資料です
KuromojiをKotlinで動かす
KuromojiをKotlinで動かす
yy yank
Kotlin Internal勉強会の発表資料です https://connpass.com/event/40360/
Kotlinソースコード探訪
Kotlinソースコード探訪
yy yank
KotlinをAltJSとして使うことについていろいろと検討した結果
Kotlin as an AltJS
Kotlin as an AltJS
Shinya Mochida
2015年9月に行われた関西Kotlin勉強会の資料
Kotlinメジャーver リリースを前に
Kotlinメジャーver リリースを前に
yy yank
shibuya.apk #7 で発表した(する)お話です
開発チームにKotlinを導入した話
開発チームにKotlinを導入した話
Hiroshi Kikuchi
みんなで学ぶ★LT会 vol.02 https://minnadelt.connpass.com/event/110696/ テックファーム 喜多剛士 -KotlinでWebアプリ開発-
KotlinでWebアプリ開発
KotlinでWebアプリ開発
Ryo Nakagawa
【東京】Kotlin Birthday Party #jkug のネタLT資料です
Kotlinあるある言いたい
Kotlinあるある言いたい
yy yank
Roppongi.unity #01のLT資料です。 SpeakerDeckにアップロードできなかったのでSlideShareに上げています。 最新のスライドは以下から https://speakerdeck.com/adarapata
Humble Object Patternな話
Humble Object Patternな話
Hiroto Imoto
SpringBoot劇的ビフォーアフター
Spring boot劇的ビフォーアフター
Spring boot劇的ビフォーアフター
orekyuu
Androidオールスターズ2で発表したスライドです。 aptとkotlinのお話をさせていただきました。
なるべくコードを書かないAndroid開発
なるべくコードを書かないAndroid開発
Hiroshi Kikuchi
Tokyo Middleman Meetup #1 発表資料
Middleman Guides & How to Learn
Middleman Guides & How to Learn
Yuya Matsushima
「やっぱり怖かったPerl」In Kichijoji.pm #2
「やっぱり怖かったPerl」In Kichijoji.pm #2
民人 青山
KotlinつかってQiitaクライアント作った時の話
KotlinつかってQiitaクライアント作った時の話
KotlinつかってQiitaクライアント作った時の話
shinnosuke kugimiya
IM飲み会2010でのプレゼン資料。
IM飲み会2010 Sekka開発秘話
IM飲み会2010 Sekka開発秘話
Kiyoka Nishiyama
Shibuya.apk #10 でお話した(する)スライドです
Androidの世界を離れて異文化留学してみた
Androidの世界を離れて異文化留学してみた
Hiroshi Kikuchi
普段C#を使っている僕から見たKotlin 2015/06/05(金)に開催された第3回 かわいいKotlin勉強会の発表資料です。 #jkug https://kotlin.doorkeeper.jp/events/23515
普段C#を使っている僕から見たKotlin
普段C#を使っている僕から見たKotlin
Ryota Murohoshi
このプレゼンテーションでは、プログラミング教育をめぐる状況を簡単に紹介したあとで、Rubyのプログラミングを教えるために私たちが開発したスモウルビーをご紹介し、最後に私たちの活動を紹介しています。 実際にプレゼンテーションで話した内容はすべてノートに記述しておりますので、関連ビデオなどをご覧いただかなくても、私たちの話が理解していただけるようになっています。
Kids,Ruby,Fun! ぼくたち、 Rubyプログラミング少年団! 〜小学生からはじめる Ruby プログラミング〜
Kids,Ruby,Fun! ぼくたち、 Rubyプログラミング少年団! 〜小学生からはじめる Ruby プログラミング〜
宏治 高尾
※ Docs.com 終了に伴い移行。2017/03/25 の投稿です。 ---- CLR/H #clrh104 ~ Xamarin in 札幌 ~ にて、Cogbot コミュニティの紹介と、Microsoft Cognitive Services と Bot Framework についてお話ししました。 https://clrh.connpass.com/event/50030/
CLR/H #clrh104 あなたのアプリにスパイスを! ~ コグニティブと対話 Botのプチレシピ
CLR/H #clrh104 あなたのアプリにスパイスを! ~ コグニティブと対話 Botのプチレシピ
Kazumi IWANAGA
Perlbeginnes 9 lt_ytnobody
Perlbeginnes 9 lt_ytnobody
azuma satoshi
Graph Algorithms Part 1
Graph Algorithms Part 1
Graph Algorithms Part 1
Taku Miyakawa
2015/4/19に開催されたcore.async勉強会の入門セッション用資料です。
入門core.async
入門core.async
sohta
JJUG ナイト・セミナー 「ビール片手にLT&納涼会」発表スライドです。 答えはソースで!
楽して JVM を学びたい #jjug
楽して JVM を学びたい #jjug
Yuji Kubota
Java SE 9を、新たに導入されたモジュール・システム(Jigsaw)を中心として紹介します。JJUG CCC 2017 Fallの発表資料です。 補足: p. 7 正しくは「JMX」→「JMS (Java Message Service)」。JMXはJava SE内の、モニタリング用の仕組みです。 p. 43 これに加えて、SPIの実装を提供するモジュールも、モジュールレイヤーに含まれます。具体的にはConfiguration.resolveAndBindの動きです。 p. 47「Oracle JDKでは、外部モジュールの非公開メンバへのリフレクションが可能」は、OpenJDKでも同じ動作です。「HotSpot系の」とすべきところでした。 このスライドはCC Attribution Licenseの元に、利用・改変・再配布をライセンスします。
Java SE 9の紹介: モジュール・システムを中心に
Java SE 9の紹介: モジュール・システムを中心に
Taku Miyakawa
Clojure
渋谷JVM#1 Immutable時代のプログラミング言語 Clojure
渋谷JVM#1 Immutable時代のプログラミング言語 Clojure
Yoshitaka Kawashima
SEの重要な仕事である、Excel方眼紙の作り方です。
エスイーのしごと
エスイーのしごと
Yoshitaka Kawashima
やっとわかったタイピングスピード向上のコツ
やっとわかったタイピングスピード向上のコツ
Ryosuke Yamazaki
2017/2/17のアーキ部の資料です。 異文化理解力に関して思うところをまとめました。
たとえ日本人同士でも必要な異文化理解力
たとえ日本人同士でも必要な異文化理解力
Yoshitaka Kawashima
More Related Content
What's hot
みんなで学ぶ★LT会 vol.02 https://minnadelt.connpass.com/event/110696/ テックファーム 喜多剛士 -KotlinでWebアプリ開発-
KotlinでWebアプリ開発
KotlinでWebアプリ開発
Ryo Nakagawa
【東京】Kotlin Birthday Party #jkug のネタLT資料です
Kotlinあるある言いたい
Kotlinあるある言いたい
yy yank
Roppongi.unity #01のLT資料です。 SpeakerDeckにアップロードできなかったのでSlideShareに上げています。 最新のスライドは以下から https://speakerdeck.com/adarapata
Humble Object Patternな話
Humble Object Patternな話
Hiroto Imoto
SpringBoot劇的ビフォーアフター
Spring boot劇的ビフォーアフター
Spring boot劇的ビフォーアフター
orekyuu
Androidオールスターズ2で発表したスライドです。 aptとkotlinのお話をさせていただきました。
なるべくコードを書かないAndroid開発
なるべくコードを書かないAndroid開発
Hiroshi Kikuchi
Tokyo Middleman Meetup #1 発表資料
Middleman Guides & How to Learn
Middleman Guides & How to Learn
Yuya Matsushima
「やっぱり怖かったPerl」In Kichijoji.pm #2
「やっぱり怖かったPerl」In Kichijoji.pm #2
民人 青山
KotlinつかってQiitaクライアント作った時の話
KotlinつかってQiitaクライアント作った時の話
KotlinつかってQiitaクライアント作った時の話
shinnosuke kugimiya
IM飲み会2010でのプレゼン資料。
IM飲み会2010 Sekka開発秘話
IM飲み会2010 Sekka開発秘話
Kiyoka Nishiyama
Shibuya.apk #10 でお話した(する)スライドです
Androidの世界を離れて異文化留学してみた
Androidの世界を離れて異文化留学してみた
Hiroshi Kikuchi
普段C#を使っている僕から見たKotlin 2015/06/05(金)に開催された第3回 かわいいKotlin勉強会の発表資料です。 #jkug https://kotlin.doorkeeper.jp/events/23515
普段C#を使っている僕から見たKotlin
普段C#を使っている僕から見たKotlin
Ryota Murohoshi
このプレゼンテーションでは、プログラミング教育をめぐる状況を簡単に紹介したあとで、Rubyのプログラミングを教えるために私たちが開発したスモウルビーをご紹介し、最後に私たちの活動を紹介しています。 実際にプレゼンテーションで話した内容はすべてノートに記述しておりますので、関連ビデオなどをご覧いただかなくても、私たちの話が理解していただけるようになっています。
Kids,Ruby,Fun! ぼくたち、 Rubyプログラミング少年団! 〜小学生からはじめる Ruby プログラミング〜
Kids,Ruby,Fun! ぼくたち、 Rubyプログラミング少年団! 〜小学生からはじめる Ruby プログラミング〜
宏治 高尾
※ Docs.com 終了に伴い移行。2017/03/25 の投稿です。 ---- CLR/H #clrh104 ~ Xamarin in 札幌 ~ にて、Cogbot コミュニティの紹介と、Microsoft Cognitive Services と Bot Framework についてお話ししました。 https://clrh.connpass.com/event/50030/
CLR/H #clrh104 あなたのアプリにスパイスを! ~ コグニティブと対話 Botのプチレシピ
CLR/H #clrh104 あなたのアプリにスパイスを! ~ コグニティブと対話 Botのプチレシピ
Kazumi IWANAGA
Perlbeginnes 9 lt_ytnobody
Perlbeginnes 9 lt_ytnobody
azuma satoshi
What's hot
(14)
KotlinでWebアプリ開発
KotlinでWebアプリ開発
Kotlinあるある言いたい
Kotlinあるある言いたい
Humble Object Patternな話
Humble Object Patternな話
Spring boot劇的ビフォーアフター
Spring boot劇的ビフォーアフター
なるべくコードを書かないAndroid開発
なるべくコードを書かないAndroid開発
Middleman Guides & How to Learn
Middleman Guides & How to Learn
「やっぱり怖かったPerl」In Kichijoji.pm #2
「やっぱり怖かったPerl」In Kichijoji.pm #2
KotlinつかってQiitaクライアント作った時の話
KotlinつかってQiitaクライアント作った時の話
IM飲み会2010 Sekka開発秘話
IM飲み会2010 Sekka開発秘話
Androidの世界を離れて異文化留学してみた
Androidの世界を離れて異文化留学してみた
普段C#を使っている僕から見たKotlin
普段C#を使っている僕から見たKotlin
Kids,Ruby,Fun! ぼくたち、 Rubyプログラミング少年団! 〜小学生からはじめる Ruby プログラミング〜
Kids,Ruby,Fun! ぼくたち、 Rubyプログラミング少年団! 〜小学生からはじめる Ruby プログラミング〜
CLR/H #clrh104 あなたのアプリにスパイスを! ~ コグニティブと対話 Botのプチレシピ
CLR/H #clrh104 あなたのアプリにスパイスを! ~ コグニティブと対話 Botのプチレシピ
Perlbeginnes 9 lt_ytnobody
Perlbeginnes 9 lt_ytnobody
Viewers also liked
Graph Algorithms Part 1
Graph Algorithms Part 1
Graph Algorithms Part 1
Taku Miyakawa
2015/4/19に開催されたcore.async勉強会の入門セッション用資料です。
入門core.async
入門core.async
sohta
JJUG ナイト・セミナー 「ビール片手にLT&納涼会」発表スライドです。 答えはソースで!
楽して JVM を学びたい #jjug
楽して JVM を学びたい #jjug
Yuji Kubota
Java SE 9を、新たに導入されたモジュール・システム(Jigsaw)を中心として紹介します。JJUG CCC 2017 Fallの発表資料です。 補足: p. 7 正しくは「JMX」→「JMS (Java Message Service)」。JMXはJava SE内の、モニタリング用の仕組みです。 p. 43 これに加えて、SPIの実装を提供するモジュールも、モジュールレイヤーに含まれます。具体的にはConfiguration.resolveAndBindの動きです。 p. 47「Oracle JDKでは、外部モジュールの非公開メンバへのリフレクションが可能」は、OpenJDKでも同じ動作です。「HotSpot系の」とすべきところでした。 このスライドはCC Attribution Licenseの元に、利用・改変・再配布をライセンスします。
Java SE 9の紹介: モジュール・システムを中心に
Java SE 9の紹介: モジュール・システムを中心に
Taku Miyakawa
Clojure
渋谷JVM#1 Immutable時代のプログラミング言語 Clojure
渋谷JVM#1 Immutable時代のプログラミング言語 Clojure
Yoshitaka Kawashima
SEの重要な仕事である、Excel方眼紙の作り方です。
エスイーのしごと
エスイーのしごと
Yoshitaka Kawashima
やっとわかったタイピングスピード向上のコツ
やっとわかったタイピングスピード向上のコツ
Ryosuke Yamazaki
2017/2/17のアーキ部の資料です。 異文化理解力に関して思うところをまとめました。
たとえ日本人同士でも必要な異文化理解力
たとえ日本人同士でも必要な異文化理解力
Yoshitaka Kawashima
エスイーが要件定義でやるべきたったひとつのこと
エスイーが要件定義でやるべきたったひとつのこと
Yoshitaka Kawashima
Presentation about the Hadoop Job Builder library on Hadoop Conference Japan 2011.
Hadoop jobbuilder
Hadoop jobbuilder
Taku Miyakawa
Kink というオレオレ JVM 言語の宣伝。 JJUG CCC 2013 Fall, JVM 言語 BOF での発表資料。
Kink の宣伝
Kink の宣伝
Taku Miyakawa
Kink: invokedynamic on a prototype-based language
Kink: invokedynamic on a prototype-based language
Taku Miyakawa
Kink: プロトタイプベースの俺々 JVM 言語
Kink: プロトタイプベースの俺々 JVM 言語
Taku Miyakawa
Matrix Multiplication in Strassen Algorithm
Matrix Multiplication in Strassen Algorithm
Matrix Multiplication in Strassen Algorithm
Taku Miyakawa
部内の新人研修用に作った資料です
良いコードとは
良いコードとは
Nobuyuki Matsui
Summary of "Hacking", 0x351-0x354
Summary of "Hacking", 0x351-0x354
Taku Miyakawa
Properties and evaluation methods of pseudo random number generators. CC Attribution Licenseで公開します。
擬似乱数生成器の評価
擬似乱数生成器の評価
Taku Miyakawa
JJUG CCC 2016 Fall ライトニングトーク
JVM言語を使ってみようの歌
JVM言語を使ってみようの歌
YujiSoftware
Shortener and Japanese translation version of http://www.slideshare.net/YujiKubota/jdk9-features-31jul2015-jjug .
JDK9 新機能 (日本語&ショートバージョン) #jjug
JDK9 新機能 (日本語&ショートバージョン) #jjug
Yuji Kubota
JJUG CCC 2016 Fall
Java でつくる低レイテンシ実装の技巧
Java でつくる低レイテンシ実装の技巧
Ryosuke Yamazaki
Viewers also liked
(20)
Graph Algorithms Part 1
Graph Algorithms Part 1
入門core.async
入門core.async
楽して JVM を学びたい #jjug
楽して JVM を学びたい #jjug
Java SE 9の紹介: モジュール・システムを中心に
Java SE 9の紹介: モジュール・システムを中心に
渋谷JVM#1 Immutable時代のプログラミング言語 Clojure
渋谷JVM#1 Immutable時代のプログラミング言語 Clojure
エスイーのしごと
エスイーのしごと
やっとわかったタイピングスピード向上のコツ
やっとわかったタイピングスピード向上のコツ
たとえ日本人同士でも必要な異文化理解力
たとえ日本人同士でも必要な異文化理解力
エスイーが要件定義でやるべきたったひとつのこと
エスイーが要件定義でやるべきたったひとつのこと
Hadoop jobbuilder
Hadoop jobbuilder
Kink の宣伝
Kink の宣伝
Kink: invokedynamic on a prototype-based language
Kink: invokedynamic on a prototype-based language
Kink: プロトタイプベースの俺々 JVM 言語
Kink: プロトタイプベースの俺々 JVM 言語
Matrix Multiplication in Strassen Algorithm
Matrix Multiplication in Strassen Algorithm
良いコードとは
良いコードとは
Summary of "Hacking", 0x351-0x354
Summary of "Hacking", 0x351-0x354
擬似乱数生成器の評価
擬似乱数生成器の評価
JVM言語を使ってみようの歌
JVM言語を使ってみようの歌
JDK9 新機能 (日本語&ショートバージョン) #jjug
JDK9 新機能 (日本語&ショートバージョン) #jjug
Java でつくる低レイテンシ実装の技巧
Java でつくる低レイテンシ実装の技巧
More from Taku Miyakawa
Concepts and tools of logging in Java. Javaにおけるログ出力の考え方と道具について説明. CC Attribution Licenseの元に公開します.
Javaのログ出力: 道具と考え方
Javaのログ出力: 道具と考え方
Taku Miyakawa
BigDecimal for money counting / Money and Currency API
金勘定のためのBigDecimalそしてMoney and Currency API
金勘定のためのBigDecimalそしてMoney and Currency API
Taku Miyakawa
Quasar: Actor Model and Light Weight Threads on Java
Quasar: Actor Model and Light Weight Threads on Java
Taku Miyakawa
ラムダと invokedynamic の蜜月
ラムダと invokedynamic の蜜月
Taku Miyakawa
Java Quine Golf
Java Quine Golf
Taku Miyakawa
LTSV is a nice format for log files. I wrote an Pig plugin to load LTSV files.
Processing LTSV by Apache Pig
Processing LTSV by Apache Pig
Taku Miyakawa
Java 7 invokedynamic の概要
Java 7 invokedynamic の概要
Taku Miyakawa
Internal structures of Java objects (oops)
Java オブジェクトの内部構造
Java オブジェクトの内部構造
Taku Miyakawa
JRubyKaigi 2010のライトニングトーク資料です。 Kinkという、JVM上のプログラミング言語を紹介しています。
Kink: developing a programming language on the JVM
Kink: developing a programming language on the JVM
Taku Miyakawa
More from Taku Miyakawa
(9)
Javaのログ出力: 道具と考え方
Javaのログ出力: 道具と考え方
金勘定のためのBigDecimalそしてMoney and Currency API
金勘定のためのBigDecimalそしてMoney and Currency API
Quasar: Actor Model and Light Weight Threads on Java
Quasar: Actor Model and Light Weight Threads on Java
ラムダと invokedynamic の蜜月
ラムダと invokedynamic の蜜月
Java Quine Golf
Java Quine Golf
Processing LTSV by Apache Pig
Processing LTSV by Apache Pig
Java 7 invokedynamic の概要
Java 7 invokedynamic の概要
Java オブジェクトの内部構造
Java オブジェクトの内部構造
Kink: developing a programming language on the JVM
Kink: developing a programming language on the JVM
Recently uploaded
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Syed Talal Wasim, Muzammal Naseer, Salman Khan, Ming-Hsuan Yang, Fahad Shahbaz Khan , "Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Grounding" arXiv2024 https://arxiv.org/abs/2401.00901v2
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Toru Tamaki
Key topics covered: - Understanding Ballerina's role in integrations: features and advantages - Designing and implementing REST APIs for integration - Designing and implementing GraphQL services with Ballerina - Monitoring and observing applications - Introduction to data integration
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
WSO2
LoRaWANスマート距離検出センサー DS20Lカタログ
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
2024年5月8日 Power Platform 勉強会 #1 LT資料
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
sn679259
Jue Wang, Wentao Zhu, Pichao Wang, Xiang Yu, Linda Liu, Mohamed Omar, Raffay Hamid, " Selective Structured State-Spaces for Long-Form Video Understanding" CVPR2023 https://openaccess.thecvf.com/content/CVPR2023/html/Wang_Selective_Structured_State-Spaces_for_Long-Form_Video_Understanding_CVPR_2023_paper.html
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Toru Tamaki
2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
This is an introduction to MAPPO's paper.
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
atsushi061452
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
Recently uploaded
(10)
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
言語設計者が意味論を書くときに考えていたこと
1.
@miyakawa_taku JJUG幹事
SI屋で賃労働 オレオレJVM言語Kinkを作っています https://bitbucket.org/kink/kink 尾上部屋の里山関のファンです 自己紹介 1
2.
2 Kinkとは! こんなの↓ プロトタイプベースのオブジェクト指向 言語 JVM上で動く言語処理系だ!
仕様策定者: 宮川 拓 実装者: 宮川 拓 ユーザ: 宮川 拓
3.
言語設計者が意味論を書く時に 考えていた事 2015-04-18 渋谷JVM LT 宮川
拓
4.
4 はいけい 去年の7月から12月ごろに掛けて、 Kinkの意味論を一通り書き直しました 例示によるゆるふわ意味論では無理が出 てきた 何が正しいか分からない……
5.
5 Kinkの意味論 http://doc.kink-lang.org/kink/manual- ja/language/semantics.html
6.
言語の意味論の分類 表示的意味論 プログラムの項の集合を他のなにかの 集合にマッピングする意味論
操作的意味論 あるプログラムがどんな風に動くか、を 記述する意味論 公理的意味論 なんか難しくてよく分からん 6
7.
7 Kinkのプログラム意味論(にゅー) 二段階に分けてます 1. 表示的意味論 2. 操作的意味論
8.
表示的意味論の部分 8 :Var = 42 ¥env::Var.op_set(42) env;
varref Var; dup;emptylist; num 42; add; flip; deref op_set; call 正規化 仮想的なスタックマシン (KSM) の命令列に変換
9.
env 環境をpush varref Var popした値の変数参照を作って push dup
popした値をpush, push emptylist 新しい空のリストをpush num 42 数値をpush add 値をpop, リストをpopして末尾 に値を追加したリストをpush 操作的意味論の部分 9
10.
10 意味論書いてみて分かったこと Kinkのことがよく理解できた! 「ブロックから関数を生成」は、よりプ リミティブなふたつの命令に分解できる
処理系のバグが見つけられた! 最適化前と最適化後で、関数呼び出しの 処理順序が変わってしまっていた
11.
11 教訓 みんなもプログラム意味論を書こう!
Download now