Submit Search
Upload
1+1=2の話
•
Download as PPTX, PDF
•
0 likes
•
342 views
明
明洋 庄司
Follow
福井技術者の集い その6. 1+1 = 2の話 ラムダ計算の簡単な導入。
Read less
Read more
Education
Report
Share
Report
Share
1 of 15
Download now
Recommended
筑波大学情報学群情報科学類のオープンキャンパスのLTで話した内容.
1+1=2の話(coinsのOCのLTで話したやつ)
1+1=2の話(coinsのOCのLTで話したやつ)
明洋 庄司
NPCAでLTしたスライド そのうちブログにちゃんとした解説とかを書くかも
ラムダ計算入門
ラムダ計算入門
Eita Sugimoto
ラムダ式で純LISPに近いものを組み上げます
(Lambdaだけで)純LISPのようなナニかを作る
(Lambdaだけで)純LISPのようなナニかを作る
Daichi Teruya
プログラミングHaskell(第2章)
プログラミングHaskell(第2章)
yaju88
第1回 関数型言語勉強会 大阪 の資料です。
たのしい関数型
たのしい関数型
Shinichi Kozake
関数型都市忘年会(2011/12/10)で発表しました http://atnd.org/events/21895
関数型都市忘年会『はじめての函数型プログラミング』
関数型都市忘年会『はじめての函数型プログラミング』
Kenta USAMI
Scalaで萌える関数型プログラミング[1.1.RC1]
Scalaで萌える関数型プログラミング[1.1.RC1]
Ra Zon
2012/5/19 関数型言語勉強会発表資料( ̄ω ̄*) 最後のページ、「終止」ってなってるのは「終始」の間違いですね、ハイ
Material
Material
_TUNE_
Recommended
筑波大学情報学群情報科学類のオープンキャンパスのLTで話した内容.
1+1=2の話(coinsのOCのLTで話したやつ)
1+1=2の話(coinsのOCのLTで話したやつ)
明洋 庄司
NPCAでLTしたスライド そのうちブログにちゃんとした解説とかを書くかも
ラムダ計算入門
ラムダ計算入門
Eita Sugimoto
ラムダ式で純LISPに近いものを組み上げます
(Lambdaだけで)純LISPのようなナニかを作る
(Lambdaだけで)純LISPのようなナニかを作る
Daichi Teruya
プログラミングHaskell(第2章)
プログラミングHaskell(第2章)
yaju88
第1回 関数型言語勉強会 大阪 の資料です。
たのしい関数型
たのしい関数型
Shinichi Kozake
関数型都市忘年会(2011/12/10)で発表しました http://atnd.org/events/21895
関数型都市忘年会『はじめての函数型プログラミング』
関数型都市忘年会『はじめての函数型プログラミング』
Kenta USAMI
Scalaで萌える関数型プログラミング[1.1.RC1]
Scalaで萌える関数型プログラミング[1.1.RC1]
Ra Zon
2012/5/19 関数型言語勉強会発表資料( ̄ω ̄*) 最後のページ、「終止」ってなってるのは「終始」の間違いですね、ハイ
Material
Material
_TUNE_
主専攻実習最終発表会でのスライドです。オイラー線について解説しています。
知識情報システム主専攻_主専攻実習最終発表会
知識情報システム主専攻_主専攻実習最終発表会
Kazuyoshi Kubokawa
早稲田大学 高度データ関連人材育成コンソーシアム D-DATa ブロックチェーン エンジニアリング 基礎編 第10回 2018/3/1
[Basic 10] 形式言語 / 字句解析
[Basic 10] 形式言語 / 字句解析
Yuto Takei
テストアップロード
Haskell
Haskell
todorokit
Lean Functional Programming with Javascript (in Japanese). This slide introduce 1. Anonymous Function 2. Lexical Scope 3. Referential Transparency 4. Higher Order Function 5.Currying 6.Function Composition 実用的でないという意味ではありません。
Javascriptで学ぶ Functional Programming
Javascriptで学ぶ Functional Programming
todorokit
関西Lispユーザ会で発表したLispでやる記号微分のスライドです。基本的にSICPの記号微分の節の丸パクリです。
Lispでやる記号微分
Lispでやる記号微分
Keiichi Watanabe
HiroshimaJUG (Java Users Group) の「Java8 Lambda ハンズオン with すごい広島」 (https://hiroshima-jug.doorkeeper.jp/events/25567) で聞いた内容を、5分で振り返る
HiroshimaJUG の「Java8 Lambda ハンズオン with すごい広島」を5分で振り返る
HiroshimaJUG の「Java8 Lambda ハンズオン with すごい広島」を5分で振り返る
tsudaa
筑波大学計算機数学グループ春の館山合宿での講演「数学プログラムを Haskell で書くべき6の理由」の発表資料。実際の講演映像は https://www.youtube.com/watch?v=S4_7KVNA-Ww
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii
第一回Data mining勉強会 -第二章
第一回Data mining勉強会 -第二章
Tomonobu_Hirano
関数型LT▽たいかい
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
blackenedgold
型無しラムダ計算とSKIコンビネータ計算の概説、Lazy K の紹介
私を SKI に連れてって
私を SKI に連れてって
Susisu
このスライドは、2020/10/17 - 18 に開催された「ScalaMatsuri」で発表したものです。
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
Kazuyuki TAKASE
情報科学
情報科学シケスラ Fibonacci
情報科学シケスラ Fibonacci
tozan gezan
第3回 関数型入門
TypeScript & 関数型講座 第3回 関数型入門
TypeScript & 関数型講座 第3回 関数型入門
gypsygypsy
Japalisp is a Lisp like language for numeric computation with natural Japanese language. It is designed to sound as natural as a spoken Japanese language while providing basic recursive computation, so that non-Japanese programmer and non-programmer Japanese will be able to learn something new.
Japalisp -Lisp like language for Numeric computation with natural Japanese la...
Japalisp -Lisp like language for Numeric computation with natural Japanese la...
Yuta Okazaki
#kansaimath の発表です。著作権的にあれな画像は省いてあります。
とぽろじー入門(画像なし版)
とぽろじー入門(画像なし版)
Katsuya Ito
Usp友の会勉強会、ジャクソン構造図の巻(後編)
Usp友の会勉強会、ジャクソン構造図の巻(後編)
umidori
PFI社内セミナー(2012/11/22)で動的計画法の新手法・代数的動的計画法について発表した際の発表資料です。発表の模様はこちら: http://www.ustream.tv/recorded/27196711
Algebraic DP: 動的計画法を書きやすく
Algebraic DP: 動的計画法を書きやすく
Hiromi Ishii
mathemaical_notation
mathemaical_notation
Kenta Oono
社内向けDataMining勉強会資料。原案。Rの導入について。 第一回の先陣を切る資料がこんなんでいいんかい。 講義のテキストの内容が薄かったのでだいぶ膨らませた。
第一回Data mining勉強会 -第二章 - 原案
第一回Data mining勉強会 -第二章 - 原案
yushin_hirano
このスライドは、2020/08/30 に開催された「Pre-ScalaMatsuri」で発表したものです。
Scala 初心者が Hom 函手を Scala で考えてみた
Scala 初心者が Hom 函手を Scala で考えてみた
Kazuyuki TAKASE
Colegio nacional nicolas esguerra
Colegio nacional nicolas esguerra
chech98
Presentation1
Presentation1
Jüän Gönzälëz
More Related Content
What's hot
主専攻実習最終発表会でのスライドです。オイラー線について解説しています。
知識情報システム主専攻_主専攻実習最終発表会
知識情報システム主専攻_主専攻実習最終発表会
Kazuyoshi Kubokawa
早稲田大学 高度データ関連人材育成コンソーシアム D-DATa ブロックチェーン エンジニアリング 基礎編 第10回 2018/3/1
[Basic 10] 形式言語 / 字句解析
[Basic 10] 形式言語 / 字句解析
Yuto Takei
テストアップロード
Haskell
Haskell
todorokit
Lean Functional Programming with Javascript (in Japanese). This slide introduce 1. Anonymous Function 2. Lexical Scope 3. Referential Transparency 4. Higher Order Function 5.Currying 6.Function Composition 実用的でないという意味ではありません。
Javascriptで学ぶ Functional Programming
Javascriptで学ぶ Functional Programming
todorokit
関西Lispユーザ会で発表したLispでやる記号微分のスライドです。基本的にSICPの記号微分の節の丸パクリです。
Lispでやる記号微分
Lispでやる記号微分
Keiichi Watanabe
HiroshimaJUG (Java Users Group) の「Java8 Lambda ハンズオン with すごい広島」 (https://hiroshima-jug.doorkeeper.jp/events/25567) で聞いた内容を、5分で振り返る
HiroshimaJUG の「Java8 Lambda ハンズオン with すごい広島」を5分で振り返る
HiroshimaJUG の「Java8 Lambda ハンズオン with すごい広島」を5分で振り返る
tsudaa
筑波大学計算機数学グループ春の館山合宿での講演「数学プログラムを Haskell で書くべき6の理由」の発表資料。実際の講演映像は https://www.youtube.com/watch?v=S4_7KVNA-Ww
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii
第一回Data mining勉強会 -第二章
第一回Data mining勉強会 -第二章
Tomonobu_Hirano
関数型LT▽たいかい
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
blackenedgold
型無しラムダ計算とSKIコンビネータ計算の概説、Lazy K の紹介
私を SKI に連れてって
私を SKI に連れてって
Susisu
このスライドは、2020/10/17 - 18 に開催された「ScalaMatsuri」で発表したものです。
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
Kazuyuki TAKASE
情報科学
情報科学シケスラ Fibonacci
情報科学シケスラ Fibonacci
tozan gezan
第3回 関数型入門
TypeScript & 関数型講座 第3回 関数型入門
TypeScript & 関数型講座 第3回 関数型入門
gypsygypsy
Japalisp is a Lisp like language for numeric computation with natural Japanese language. It is designed to sound as natural as a spoken Japanese language while providing basic recursive computation, so that non-Japanese programmer and non-programmer Japanese will be able to learn something new.
Japalisp -Lisp like language for Numeric computation with natural Japanese la...
Japalisp -Lisp like language for Numeric computation with natural Japanese la...
Yuta Okazaki
#kansaimath の発表です。著作権的にあれな画像は省いてあります。
とぽろじー入門(画像なし版)
とぽろじー入門(画像なし版)
Katsuya Ito
Usp友の会勉強会、ジャクソン構造図の巻(後編)
Usp友の会勉強会、ジャクソン構造図の巻(後編)
umidori
PFI社内セミナー(2012/11/22)で動的計画法の新手法・代数的動的計画法について発表した際の発表資料です。発表の模様はこちら: http://www.ustream.tv/recorded/27196711
Algebraic DP: 動的計画法を書きやすく
Algebraic DP: 動的計画法を書きやすく
Hiromi Ishii
mathemaical_notation
mathemaical_notation
Kenta Oono
社内向けDataMining勉強会資料。原案。Rの導入について。 第一回の先陣を切る資料がこんなんでいいんかい。 講義のテキストの内容が薄かったのでだいぶ膨らませた。
第一回Data mining勉強会 -第二章 - 原案
第一回Data mining勉強会 -第二章 - 原案
yushin_hirano
このスライドは、2020/08/30 に開催された「Pre-ScalaMatsuri」で発表したものです。
Scala 初心者が Hom 函手を Scala で考えてみた
Scala 初心者が Hom 函手を Scala で考えてみた
Kazuyuki TAKASE
What's hot
(20)
知識情報システム主専攻_主専攻実習最終発表会
知識情報システム主専攻_主専攻実習最終発表会
[Basic 10] 形式言語 / 字句解析
[Basic 10] 形式言語 / 字句解析
Haskell
Haskell
Javascriptで学ぶ Functional Programming
Javascriptで学ぶ Functional Programming
Lispでやる記号微分
Lispでやる記号微分
HiroshimaJUG の「Java8 Lambda ハンズオン with すごい広島」を5分で振り返る
HiroshimaJUG の「Java8 Lambda ハンズオン with すごい広島」を5分で振り返る
数学プログラムを Haskell で書くべき 6 の理由
数学プログラムを Haskell で書くべき 6 の理由
第一回Data mining勉強会 -第二章
第一回Data mining勉強会 -第二章
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
私を SKI に連れてって
私を SKI に連れてって
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
情報科学シケスラ Fibonacci
情報科学シケスラ Fibonacci
TypeScript & 関数型講座 第3回 関数型入門
TypeScript & 関数型講座 第3回 関数型入門
Japalisp -Lisp like language for Numeric computation with natural Japanese la...
Japalisp -Lisp like language for Numeric computation with natural Japanese la...
とぽろじー入門(画像なし版)
とぽろじー入門(画像なし版)
Usp友の会勉強会、ジャクソン構造図の巻(後編)
Usp友の会勉強会、ジャクソン構造図の巻(後編)
Algebraic DP: 動的計画法を書きやすく
Algebraic DP: 動的計画法を書きやすく
mathemaical_notation
mathemaical_notation
第一回Data mining勉強会 -第二章 - 原案
第一回Data mining勉強会 -第二章 - 原案
Scala 初心者が Hom 函手を Scala で考えてみた
Scala 初心者が Hom 函手を Scala で考えてみた
Viewers also liked
Colegio nacional nicolas esguerra
Colegio nacional nicolas esguerra
chech98
Presentation1
Presentation1
Jüän Gönzälëz
Aprendizaje Autónomo
M blanco aprendizaje_autonomo
M blanco aprendizaje_autonomo
Monica Blanco - Turismo Sustentable
power
Javier
Javier
montenegroguayabal
WHITEHEADt-Enviro-11Dec10
WHITEHEADt-Enviro-11Dec10
Troy Whitehead
Yone 6 a
Yone 6 a
FABIANA
Paola 9e
Paola 9e
IE Simona Duque
Montgomery Inn 100
Montgomery Inn 100
BLT Productions, Inc.
purchase agreement
purchase agreement
xilvar
Every year, on 31 May, WHO and partners mark World No Tobacco Day (WNTD), highlighting the health risks associated with tobacco use and advocating for effective policies to reduce tobacco consumption. For World No Tobacco Day, 31 May 2016, WHO and the Secretariat of the WHO Framework Convention on Tobacco Control are calling countries to get ready for plain (standardized) packaging of tobacco products.
World No Tobacco Day (WNTD) 2012
World No Tobacco Day (WNTD) 2012
Trinity Care Foundation
Islam c.v F.m
Islam c.v F.m
Islam Sayed
Presentation goven at the 7th Annual International Experience Exchange for Patient Organizations, Munich, 3 - 4 March 2015; #IEEPO2015. The event was sponsored by Roche. Some 300 participants attended representing over 40 patient organizations worldwide. The final day of the meeting was dedicated to social media and how they can help patient organizations achieve their goals
Going social: why patient organizations cannot ignore social media
Going social: why patient organizations cannot ignore social media
Len Starnes
Criamos uma metodologia de trabalho para otimizar seus investimentos em Marketing. Esta metodologia consiste em desenvolver: Diagnóstico, Planejamento, Estratégia de Marketing, Tecnologia, Gestão e Operação e Análise e Mensuração de Dados em Relatórios específicos.
Leadformance: Uma marca criada para melhorar a geração de leads qualificados ...
Leadformance: Uma marca criada para melhorar a geração de leads qualificados ...
LEN Comunicação e Branding
Elizabethcartel
Elizabethcartel
elizabethriveracazares
kutipan "Laudato Si" untuk bertindak dengan ispirasi dan teladan Bunda Maria dan Bapa Yosep
Meneladan Maria dan Yosep
Meneladan Maria dan Yosep
budhi pr
All students must be quick to produce arguments regarding the topic on the screen in order to help their team win points. The topics vary from human cloning to fossil fuel combustion, which will result in a truly heated debate!
ECPE Class: Debate
ECPE Class: Debate
Markaki- Markoulaki Language School
Second of two presentations exploring the impact of social media and digital technologies on professional medical conferences.
The medical conference is dead, long live the medical conference
The medical conference is dead, long live the medical conference
Len Starnes
preparation of potash alum from scrap aluminium
chemistry project on preparation of potash alum
chemistry project on preparation of potash alum
Tarun Rana
Shawn_Mayton_Resume__#1
Shawn_Mayton_Resume__#1
Shawn Mayton
.....................
Die Nachhut
Die Nachhut
Bill Colmes
Viewers also liked
(20)
Colegio nacional nicolas esguerra
Colegio nacional nicolas esguerra
Presentation1
Presentation1
M blanco aprendizaje_autonomo
M blanco aprendizaje_autonomo
Javier
Javier
WHITEHEADt-Enviro-11Dec10
WHITEHEADt-Enviro-11Dec10
Yone 6 a
Yone 6 a
Paola 9e
Paola 9e
Montgomery Inn 100
Montgomery Inn 100
purchase agreement
purchase agreement
World No Tobacco Day (WNTD) 2012
World No Tobacco Day (WNTD) 2012
Islam c.v F.m
Islam c.v F.m
Going social: why patient organizations cannot ignore social media
Going social: why patient organizations cannot ignore social media
Leadformance: Uma marca criada para melhorar a geração de leads qualificados ...
Leadformance: Uma marca criada para melhorar a geração de leads qualificados ...
Elizabethcartel
Elizabethcartel
Meneladan Maria dan Yosep
Meneladan Maria dan Yosep
ECPE Class: Debate
ECPE Class: Debate
The medical conference is dead, long live the medical conference
The medical conference is dead, long live the medical conference
chemistry project on preparation of potash alum
chemistry project on preparation of potash alum
Shawn_Mayton_Resume__#1
Shawn_Mayton_Resume__#1
Die Nachhut
Die Nachhut
Similar to 1+1=2の話
The Basics
Lisp tutorial for Pythonista : Day 2
Lisp tutorial for Pythonista : Day 2
Ransui Iso
Tsukuba.R #7
普通のプログラミング言語R
普通のプログラミング言語R
Shuyo Nakatani
プログラミングHaskell(第1章)
プログラミングHaskell(第1章)
yaju88
Tokyo.SciPy #2 にて発表した、数式(あるいは数式入りのアルゴリズム)から実装に落とす場合、何に気をつけるのか、どう考えればいいのか、というお話。 対象は、どうやって数式をプログラムすればいいかよくわからない人、ちょっとややこしい数式になると四苦八苦してしまい、コードに落とすのにすごく時間がかかってしまう人、など。 ここでは実行速度についてはひとまずおいといて、簡潔で間違いにくい、ちゃんと動くコードを書くことを目標にしています。
数式をnumpyに落としこむコツ
数式をnumpyに落としこむコツ
Shuyo Nakatani
Scalaで萌える関数型プログラミング[完全版]
Scalaで萌える関数型プログラミング[完全版]
Ra Zon
第11回とっとるびー発表 Enumerable#lazyがデフォだとまずい点⇒副作用があると少し面倒なことになりそう。
Tottoruby 20130119
Tottoruby 20130119
Takashi SAKAGUCHI
2016年3月19日 札幌C++勉強会 #11 で発表 http://sapporocpp.connpass.com/event/26937/
関数の最小値を求めることから機械学習へ
関数の最小値を求めることから機械学習へ
Hiro H.
Introduction to Functional Programming
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
Similar to 1+1=2の話
(8)
Lisp tutorial for Pythonista : Day 2
Lisp tutorial for Pythonista : Day 2
普通のプログラミング言語R
普通のプログラミング言語R
プログラミングHaskell(第1章)
プログラミングHaskell(第1章)
数式をnumpyに落としこむコツ
数式をnumpyに落としこむコツ
Scalaで萌える関数型プログラミング[完全版]
Scalaで萌える関数型プログラミング[完全版]
Tottoruby 20130119
Tottoruby 20130119
関数の最小値を求めることから機械学習へ
関数の最小値を求めることから機械学習へ
関数プログラミング入門
関数プログラミング入門
Recently uploaded
Key points of the revision of the Inheritance Law Contribution and Special Contribution.pptx
Key points of the revision of the Inheritance Law Contribution and Special Co...
Key points of the revision of the Inheritance Law Contribution and Special Co...
oganekyokoi
2024年度受験者に向けた大学院説明会資料(機械系の各コースの説明資料)です。 ・機械系 大学院説明会|大学院で学びたい方|東京工業大学 https://www.titech.ac.jp/0/prospective-students/open-campus/briefing/department-mech ・工学院 機械系(系詳細ページ) http://www.mech.e.titech.ac.jp/jp/admission/index.html
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
Tokyo Institute of Technology
modul bahasa jepang N5
modul belajar bagasa jepang pemula -N5.pdf
modul belajar bagasa jepang pemula -N5.pdf
jaquarisjaquaris
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
ssusere0a682
2024年度受験者に向けた大学院説明会資料です。 修士課程や博士後期課程のカリキュラム、経済的支援、キャリア支援など幅広くご紹介しています。 募集要項に基づき、2024夏の入試最新情報についてもまとめていますので、ぜひチェックしてみてください。 なお、このスライドは説明会時点での情報を元に作成しています。 出願に当たっては、必ず以下の募集要項をご確認ください。 https://www.titech.ac.jp/admissions/prospective-students/admissions/guide
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け
Tokyo Institute of Technology
On community support centres as a sales destination
On community support centres as a sales destination.pdf
On community support centres as a sales destination.pdf
oganekyokoi
インスティテューショナル・リサーチ(以下、IR)には、高等教育に関連する広範なデータが必要である。それらを操作するためのデータベース(以下、DB)およびデータウェアハウスは、様々な部署から集められた多様なデータで構成されている。高等教育の現場では、日々の教務に柔軟に対応するべく、データベースの拡張・改変が繰り返されている。その結果、データベースが肥大化や、データの整合性を保証できなくなる問題が生じてしまうなどの困難が生じている。データ整合性を保証・保持することが肝要であり、そのようなデータベースを作る簡便な方法が求められている。 数学の一分野である圏論をDBに適用した圏論的DB理論[1,2]が、仕様との整合性を保証したDB構築に良い見通しを与えている。本稿では、圏論を簡単に解説し、圏論的DB理論に則ったDBの仕様記述法(オントロジーログ)を紹介する。
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 − 情報科学からのアプローチ −
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 − 情報科学からのアプローチ −
東京工業大学
Recently uploaded
(7)
Key points of the revision of the Inheritance Law Contribution and Special Co...
Key points of the revision of the Inheritance Law Contribution and Special Co...
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
modul belajar bagasa jepang pemula -N5.pdf
modul belajar bagasa jepang pemula -N5.pdf
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習108 -フリーライダー② -#ゲーム理論 #gametheory #数学
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け
東京工業大学 大学院 6学院入試説明会資料 2024年度受験者向け
On community support centres as a sales destination.pdf
On community support centres as a sales destination.pdf
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 − 情報科学からのアプローチ −
〔第27回日本高等教育学会年会発表〕IRにおける教務概念のオントロジー化 − 情報科学からのアプローチ −
1+1=2の話
1.
1+1=2 Akihiro Shoji a.k.a.
alphaKAI(@alpha_kai_NET)
2.
突然ですが 1+1 出来ますか?
3.
• え、2では? • はい、2ですね。 •
終了… ではなく
4.
気を取り直して • ここでは、1+1=2を少し変わった視点から見てみ ましょう • →
ラムダ計算で考えてみよう
5.
ラムダ計算とは • 簡単に言うとラムダ→λを使って関数をλx. xみた いに表すこと(ラムダを用いて表した式をラムダ 式といいます) •
すべての計算(手続き)を関数であらわそーみたい な感じ • 厳密な話は(出来ないし)しません…
6.
ラムダ計算の基本-書き方 • よく見慣れた関数: f(x)
= 2x + 1 • ラムダ式で書くと: f = λx. 2x + 1 • プログラミング言語的に言うと、式を関数として第一 級関数(関数をオブジェクトとしてあつかう)のような 感じ。 • 複数の引き数がある場合は 例:λx. (λy. x + y)
7.
ラムダ計算の基本-用語 • 束縛変数と自由変数 • 束縛変数:
λx. x ← この場合のx • 自由変数: λx. x + y ←この場合のy • 注意: λxy. x + y (=λx. λy. x + y)この場合、x,yと もに束縛変数
8.
ラムダ計算の用語-その2 • 適用(後に説明するがβ簡約という) • 簡単に言うと、引き数の変数に値を代入する こと •
f(x)=2x+1とするとx=2としてf(2)=2*2+1=5
9.
複数の引き数がある場合 • λxy. x
+ yの場合、yを引き数に持つ`関数`が帰る( ポイント)
10.
α変換 • (λfx. f
x)に(λfx.f x)を適用する場合、一つ問題が発生する • 名前が他の場所と衝突しないかぎり、ラムダ式の変数 名は自由に変えて良い • λx.x ≡ λy.y
11.
チャーチ数 • ラムダ計算はすべてを関数として表したいので 、数も関数で表す必要があるので、以下のよう に定義する • 1
= λfx. f x • 2 = λfx. f (f x) • 3 = λfx. f (f (f x)) 以下同様にfがふえてく...
12.
お待たせしました • 1 +
1を考えましょう。 • 簡単のため、+というBinary 関数をラムダ式で表 すことの 導入は省略して、次のように定義しま す • add := λa.λb.λf.λx. b f (a f x) • これを使うと....
13.
1+1はこうなる
14.
適当な説明でしたが… • 適当な説明でしたが… ラムダ計算に興味を持っ てもらえたのではないでしょうか… •
Let’s λ!!
15.
ご静聴ありがとうござ いました
Download now