Enviar búsqueda
Cargar
Nyarlathotep
•
Descargar como KEY, PDF
•
2 recomendaciones
•
21,762 vistas
Hiromu Yakura
Seguir
いつもニコニコあなたの隣に這い寄る混沌関数型言語ですっ
Leer menos
Leer más
Tecnología
Denunciar
Compartir
Denunciar
Compartir
1 de 20
Descargar ahora
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
Más contenido relacionado
Destacado
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
Destacado
(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はとんでもないものを 盗んでいきました。私の時間です…
Más 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
Más 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
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Toru Tamaki
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
sn679259
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
atsushi061452
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Toru Tamaki
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
WSO2
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
Último
(10)
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: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の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
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 del editor
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
Descargar ahora