Enviar pesquisa
Carregar
Nyarlathotep
•
Transferir como KEY, PDF
•
2 gostaram
•
21,761 visualizações
Hiromu Yakura
Seguir
いつもニコニコあなたの隣に這い寄る混沌関数型言語ですっ
Leia menos
Leia mais
Tecnologia
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 20
Baixar agora
Recomendados
つくっておぼえる!仮想マシン〜直前で実装編〜
つくっておぼえる!仮想マシン〜直前で実装編〜
Eric Sartre
Kobe sec#8 summary
Kobe sec#8 summary
Yukio NAGAO
東方紅魔郷AI
東方紅魔郷AI
aki33524
【Ltech#11】ディープラーニングで間取り図を3Dにする
【Ltech#11】ディープラーニングで間取り図を3Dにする
LIFULL Co., Ltd.
Reproducebility 100倍 Dockerマン
Reproducebility 100倍 Dockerマン
Nagi Teramo
Yarudake
Yarudake
Ken Ogura
Osc2012 hiroshima
Osc2012 hiroshima
Akira Kaneda
機械の体を手に入れるのよ、鉄郎!!!
機械の体を手に入れるのよ、鉄郎!!!
Nagi Teramo
Recomendados
つくっておぼえる!仮想マシン〜直前で実装編〜
つくっておぼえる!仮想マシン〜直前で実装編〜
Eric Sartre
Kobe sec#8 summary
Kobe sec#8 summary
Yukio NAGAO
東方紅魔郷AI
東方紅魔郷AI
aki33524
【Ltech#11】ディープラーニングで間取り図を3Dにする
【Ltech#11】ディープラーニングで間取り図を3Dにする
LIFULL Co., Ltd.
Reproducebility 100倍 Dockerマン
Reproducebility 100倍 Dockerマン
Nagi Teramo
Yarudake
Yarudake
Ken Ogura
Osc2012 hiroshima
Osc2012 hiroshima
Akira Kaneda
機械の体を手に入れるのよ、鉄郎!!!
機械の体を手に入れるのよ、鉄郎!!!
Nagi Teramo
SEAndroid -AndroidのアーキテクチャとSE化について-
SEAndroid -AndroidのアーキテクチャとSE化について-
Hiromu Yakura
OSS奨励賞受賞プレゼン 活動紹介
OSS奨励賞受賞プレゼン 活動紹介
Hiromu Yakura
Why don't you learn programming?
Why don't you learn programming?
Hiromu Yakura
Arrow Judge
Arrow Judge
Hiromu Yakura
Trendmicro Security Award 2012 Final Presentation
Trendmicro Security Award 2012 Final Presentation
Hiromu Yakura
ICTのちから
ICTのちから
Hiromu Yakura
検証、SEAndroid
検証、SEAndroid
Hiromu Yakura
新しいライブ映像再生システムを研究してみた
新しいライブ映像再生システムを研究してみた
Hiromu Yakura
ナウいAndroidセキュリティ
ナウいAndroidセキュリティ
Hiromu Yakura
GAME ON 特別イベント 「ゲームってなんでプログラミング?」
GAME ON 特別イベント 「ゲームってなんでプログラミング?」
Hiromu Yakura
Arduinoでプログラミングに触れてみよう 続編
Arduinoでプログラミングに触れてみよう 続編
Hiromu Yakura
Arduinoでプログラミングに触れてみよう
Arduinoでプログラミングに触れてみよう
Hiromu Yakura
CTF, What's in it for me?
CTF, What's in it for me?
Hiromu Yakura
セキュリティ・キャンプのススメ
セキュリティ・キャンプのススメ
Hiromu Yakura
Androidにおける強制アクセス制御
Androidにおける強制アクセス制御
Hiromu Yakura
CTFはとんでもないものを 盗んでいきました。私の時間です…
CTFはとんでもないものを 盗んでいきました。私の時間です…
Hiromu Yakura
Human-AI communication for human-human communication / CHAI Workshop @ IJCAI ...
Human-AI communication for human-human communication / CHAI Workshop @ IJCAI ...
Hiromu Yakura
How to make good use of AI technologies? @ Tsukuba Conference 2021
How to make good use of AI technologies? @ Tsukuba Conference 2021
Hiromu Yakura
機械学習を"良く"使うには
機械学習を"良く"使うには
Hiromu Yakura
自己紹介@名状しがたいお茶会
自己紹介@名状しがたいお茶会
Hiromu Yakura
Python 3のWebシステムでDDDに入門してみた
Python 3のWebシステムでDDDに入門してみた
Hiromu Yakura
Robust Audio Adversarial Example for a Physical Attack
Robust Audio Adversarial Example for a Physical Attack
Hiromu Yakura
Mais conteúdo relacionado
Destaque
SEAndroid -AndroidのアーキテクチャとSE化について-
SEAndroid -AndroidのアーキテクチャとSE化について-
Hiromu Yakura
OSS奨励賞受賞プレゼン 活動紹介
OSS奨励賞受賞プレゼン 活動紹介
Hiromu Yakura
Why don't you learn programming?
Why don't you learn programming?
Hiromu Yakura
Arrow Judge
Arrow Judge
Hiromu Yakura
Trendmicro Security Award 2012 Final Presentation
Trendmicro Security Award 2012 Final Presentation
Hiromu Yakura
ICTのちから
ICTのちから
Hiromu Yakura
検証、SEAndroid
検証、SEAndroid
Hiromu Yakura
新しいライブ映像再生システムを研究してみた
新しいライブ映像再生システムを研究してみた
Hiromu Yakura
ナウいAndroidセキュリティ
ナウいAndroidセキュリティ
Hiromu Yakura
GAME ON 特別イベント 「ゲームってなんでプログラミング?」
GAME ON 特別イベント 「ゲームってなんでプログラミング?」
Hiromu Yakura
Arduinoでプログラミングに触れてみよう 続編
Arduinoでプログラミングに触れてみよう 続編
Hiromu Yakura
Arduinoでプログラミングに触れてみよう
Arduinoでプログラミングに触れてみよう
Hiromu Yakura
CTF, What's in it for me?
CTF, What's in it for me?
Hiromu Yakura
セキュリティ・キャンプのススメ
セキュリティ・キャンプのススメ
Hiromu Yakura
Androidにおける強制アクセス制御
Androidにおける強制アクセス制御
Hiromu Yakura
CTFはとんでもないものを 盗んでいきました。私の時間です…
CTFはとんでもないものを 盗んでいきました。私の時間です…
Hiromu Yakura
Destaque
(16)
SEAndroid -AndroidのアーキテクチャとSE化について-
SEAndroid -AndroidのアーキテクチャとSE化について-
OSS奨励賞受賞プレゼン 活動紹介
OSS奨励賞受賞プレゼン 活動紹介
Why don't you learn programming?
Why don't you learn programming?
Arrow Judge
Arrow Judge
Trendmicro Security Award 2012 Final Presentation
Trendmicro Security Award 2012 Final Presentation
ICTのちから
ICTのちから
検証、SEAndroid
検証、SEAndroid
新しいライブ映像再生システムを研究してみた
新しいライブ映像再生システムを研究してみた
ナウいAndroidセキュリティ
ナウいAndroidセキュリティ
GAME ON 特別イベント 「ゲームってなんでプログラミング?」
GAME ON 特別イベント 「ゲームってなんでプログラミング?」
Arduinoでプログラミングに触れてみよう 続編
Arduinoでプログラミングに触れてみよう 続編
Arduinoでプログラミングに触れてみよう
Arduinoでプログラミングに触れてみよう
CTF, What's in it for me?
CTF, What's in it for me?
セキュリティ・キャンプのススメ
セキュリティ・キャンプのススメ
Androidにおける強制アクセス制御
Androidにおける強制アクセス制御
CTFはとんでもないものを 盗んでいきました。私の時間です…
CTFはとんでもないものを 盗んでいきました。私の時間です…
Mais de Hiromu Yakura
Human-AI communication for human-human communication / CHAI Workshop @ IJCAI ...
Human-AI communication for human-human communication / CHAI Workshop @ IJCAI ...
Hiromu Yakura
How to make good use of AI technologies? @ Tsukuba Conference 2021
How to make good use of AI technologies? @ Tsukuba Conference 2021
Hiromu Yakura
機械学習を"良く"使うには
機械学習を"良く"使うには
Hiromu Yakura
自己紹介@名状しがたいお茶会
自己紹介@名状しがたいお茶会
Hiromu Yakura
Python 3のWebシステムでDDDに入門してみた
Python 3のWebシステムでDDDに入門してみた
Hiromu Yakura
Robust Audio Adversarial Example for a Physical Attack
Robust Audio Adversarial Example for a Physical Attack
Hiromu Yakura
機械学習コン講評
機械学習コン講評
Hiromu Yakura
NPCA夏合宿 2014 講義資料
NPCA夏合宿 2014 講義資料
Hiromu Yakura
イタリアでパスタを食べた話
イタリアでパスタを食べた話
Hiromu Yakura
CTFとは
CTFとは
Hiromu Yakura
ぃぬ速@LKML
ぃぬ速@LKML
Hiromu Yakura
プラトン
プラトン
Hiromu Yakura
How to lick Miku
How to lick Miku
Hiromu Yakura
ERASER
ERASER
Hiromu Yakura
Mais de Hiromu Yakura
(14)
Human-AI communication for human-human communication / CHAI Workshop @ IJCAI ...
Human-AI communication for human-human communication / CHAI Workshop @ IJCAI ...
How to make good use of AI technologies? @ Tsukuba Conference 2021
How to make good use of AI technologies? @ Tsukuba Conference 2021
機械学習を"良く"使うには
機械学習を"良く"使うには
自己紹介@名状しがたいお茶会
自己紹介@名状しがたいお茶会
Python 3のWebシステムでDDDに入門してみた
Python 3のWebシステムでDDDに入門してみた
Robust Audio Adversarial Example for a Physical Attack
Robust Audio Adversarial Example for a Physical Attack
機械学習コン講評
機械学習コン講評
NPCA夏合宿 2014 講義資料
NPCA夏合宿 2014 講義資料
イタリアでパスタを食べた話
イタリアでパスタを食べた話
CTFとは
CTFとは
ぃぬ速@LKML
ぃぬ速@LKML
プラトン
プラトン
How to lick Miku
How to lick Miku
ERASER
ERASER
Último
論文紹介:Semantic segmentation using Vision Transformers: A survey
論文紹介:Semantic segmentation using Vision Transformers: A survey
Toru Tamaki
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Yuma Ohgami
Postman LT Fukuoka_Quick Prototype_By Daniel
Postman LT Fukuoka_Quick Prototype_By Daniel
danielhu54
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
Toru Tamaki
TSAL operation mechanism and circuit diagram.pdf
TSAL operation mechanism and circuit diagram.pdf
taisei2219
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
Ryo Sasaki
論文紹介:Automated Classification of Model Errors on ImageNet
論文紹介:Automated Classification of Model Errors on ImageNet
Toru Tamaki
スマートフォンを用いた新生児あやし動作の教示システム
スマートフォンを用いた新生児あやし動作の教示システム
sugiuralab
SOPを理解する 2024/04/19 の勉強会で発表されたものです
SOPを理解する 2024/04/19 の勉強会で発表されたものです
iPride Co., Ltd.
Último
(9)
論文紹介:Semantic segmentation using Vision Transformers: A survey
論文紹介:Semantic segmentation using Vision Transformers: A survey
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Postman LT Fukuoka_Quick Prototype_By Daniel
Postman LT Fukuoka_Quick Prototype_By Daniel
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
TSAL operation mechanism and circuit diagram.pdf
TSAL operation mechanism and circuit diagram.pdf
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
論文紹介:Automated Classification of Model Errors on ImageNet
論文紹介:Automated Classification of Model Errors on ImageNet
スマートフォンを用いた新生児あやし動作の教示システム
スマートフォンを用いた新生児あやし動作の教示システム
SOPを理解する 2024/04/19 の勉強会で発表されたものです
SOPを理解する 2024/04/19 の勉強会で発表されたものです
Nyarlathotep
1.
Nyarlathotep いつもニコニコあなたの隣に
い寄る混沌
2.
自己紹介 • 矢倉 大夢
(@hiromu1996) • 高校1年生 • パソコン研究部長
3.
自己紹介 • 興味のあること •
Linuxカーネル • セキュリティ • 競技プログラミング • 難解プログラミング言語
4.
自己紹介 • OSS奨励賞を受賞 (sora_hと一緒に) •
未踏IT人材発掘・育成事業 • 未踏の合宿から直接きました
5.
(」・ω・)」うー!(/・ω・)/にゃー!
6.
7.
8.
9.
Esolangが
ナメられている ※Esolang = Esoteric Programming Language = 難解プログラミング言語
10.
これは由々しき事態だ!
11.
Esolangの怖さを 思い知るがよい
12.
作りました • Nyarlathotep •
純粋関数型 • 遅延評価 • 型なしラムダ計算 • チューリング完全
13.
SKIコンビネータ • SKIコンビネータ •
S := λxyz. xz(yz) • K := λxy. x • I := λx.x • これがあればチューリング完全
14.
Uコンビネータ • U :=
λf. ((f S)K) • S = (U(U(U(UU)))) • K = (U(U(UU)) • I = (UU) • これさえあればチューリング完全
15.
入出力 • ソースコードが表現する関数に 入力文字列のリストを適用する •
その結果のリストを文字列として表示 • 文字はチャーチ数で表す
16.
チャーチ数 • 数値を関数で表すための仕組み •
0 := λfx. x • 1 := λfx. fx • 2 := λfx. f(fx) • 3 := λfx. f(f(fx))
17.
というわけで • (」・ω・)」うー! →
関数適用 • (/・ω・)/にゃー! → U combinator
18.
サンプル • echo •
(」・ω・)」うー! (/・ω・)/ にゃー! (/・ω・)/にゃー! • 時間があればその他のデモを
19.
さいごに • 同級生の純粋関数型野郎 @_yingtaiに見せたところ •
Iotaの命令置換だしレベル低いじゃん • (IotaというEsolangがある)
20.
さいごに • 次回までにはニャルコンビネータとか
作ってきます(予定) • ご清聴ありがとうございました • https://github.com/hiromu/Nyarlathotep
Notas do Editor
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
Baixar agora