SlideShare uma empresa Scribd logo
1 de 20
Baixar para ler offline
関数型言語による
              設計について
                @mzp




12/12/9日曜日
自己紹介
             • Twitter: @mzp
             • なごやかScala開催中
              • 2013/1/11(金) 19:00∼21:00@千種
             • 関数型言語の初心者歓迎


12/12/9日曜日
Q. 関数型言語使ったことある人、
                  どれくらいいますか?




12/12/9日曜日
12/12/9日曜日
•Simon Peyton Jones




12/12/9日曜日
•Simon Peyton Jones
             •at ICFP 03




12/12/9日曜日
•Simon Peyton Jones
             •at ICFP 03
             • A user-centred approach to
             functions in Excel




12/12/9日曜日
関数型言語による
              設計について




12/12/9日曜日
Excel
             関数型言語による
              設計について




12/12/9日曜日
Excel
             関数型言語による
              設計について
               書



12/12/9日曜日
Excel方眼紙の悪い所
             • マージできない
             • diffが取れない
             • 履歴が管理できない
             • 編集するとすぐ崩れる


12/12/9日曜日
追加がだるい
               ここに追加したい




12/12/9日曜日
すぐずれる




12/12/9日曜日
やめていただきたい




12/12/9日曜日
Excel方眼紙撲滅委員会
                     の紹介
             • @tk0miyaさんのやってる一人委員会
             • テキストデータからブロック図を生成
              するblockdiagのリリース

             • 他にもシーケンス図、アクティビティ
              図とかも生成できる




12/12/9日曜日
blockdiag実行例
             blockdiag {
                A -> B -> C -> D;
                A -> E -> F -> G;
             }




12/12/9日曜日
Excelの呪縛
             • Excelをやめれないときもある
             • 提出の形式が決っている
             • 他に編集ツールがない
             • なんだかよくわからない不思議なパ
              ワー(政治力)



12/12/9日曜日
blockdiagcontrib-
                   excelshape
             • Excelを出力できるようにするプラグイ
              ンを作りました

             • OLEを使っているのでWindowsでしか
              動きません

             • easy_install/PIPでインストールできま
              す


12/12/9日曜日
http://www.youtube.com/watch?
             v=Mt9t7UCu__4&feature=g-crec-u




12/12/9日曜日
まともな関数型の話が聞きたい方は、
                なごやかScalaへどうぞ




12/12/9日曜日

Mais conteúdo relacionado

Semelhante a #NGK2012B Excelによる設計書について

CMS / BLOG and SnoWOman
CMS / BLOG and SnoWOmanCMS / BLOG and SnoWOman
CMS / BLOG and SnoWOmanWO Community
 
セーラーソン振り返り
セーラーソン振り返りセーラーソン振り返り
セーラーソン振り返りMasafumi Terazono
 
多摩美術大学 エンタテイメントとデザインゼミ2 第12回
多摩美術大学 エンタテイメントとデザインゼミ2 第12回多摩美術大学 エンタテイメントとデザインゼミ2 第12回
多摩美術大学 エンタテイメントとデザインゼミ2 第12回Satoru Tokuhisa
 
第3回yidev coding guideline読み
第3回yidev coding guideline読み第3回yidev coding guideline読み
第3回yidev coding guideline読みTomohiko Okita
 
2012 12-17-titanium meetupvol4
2012 12-17-titanium meetupvol42012 12-17-titanium meetupvol4
2012 12-17-titanium meetupvol4Hiroshi Oyamada
 
ぼくらの錬金術〜キメラの作り方〜
ぼくらの錬金術〜キメラの作り方〜ぼくらの錬金術〜キメラの作り方〜
ぼくらの錬金術〜キメラの作り方〜Yukiya Nakagawa
 

Semelhante a #NGK2012B Excelによる設計書について (8)

Code Anything
Code AnythingCode Anything
Code Anything
 
CMS / BLOG and SnoWOman
CMS / BLOG and SnoWOmanCMS / BLOG and SnoWOman
CMS / BLOG and SnoWOman
 
セーラーソン振り返り
セーラーソン振り返りセーラーソン振り返り
セーラーソン振り返り
 
多摩美術大学 エンタテイメントとデザインゼミ2 第12回
多摩美術大学 エンタテイメントとデザインゼミ2 第12回多摩美術大学 エンタテイメントとデザインゼミ2 第12回
多摩美術大学 エンタテイメントとデザインゼミ2 第12回
 
第3回yidev coding guideline読み
第3回yidev coding guideline読み第3回yidev coding guideline読み
第3回yidev coding guideline読み
 
2012 12-17-titanium meetupvol4
2012 12-17-titanium meetupvol42012 12-17-titanium meetupvol4
2012 12-17-titanium meetupvol4
 
ぼくらの錬金術〜キメラの作り方〜
ぼくらの錬金術〜キメラの作り方〜ぼくらの錬金術〜キメラの作り方〜
ぼくらの錬金術〜キメラの作り方〜
 
Mac ruby
Mac ruby Mac ruby
Mac ruby
 

Mais de Hiroki Mizuno

TypeSafe OSの試み
TypeSafe OSの試みTypeSafe OSの試み
TypeSafe OSの試みHiroki Mizuno
 
OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法Hiroki Mizuno
 
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性についてScala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性についてHiroki Mizuno
 
Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋Hiroki Mizuno
 
Darcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbcDarcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbcHiroki Mizuno
 
Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力Hiroki Mizuno
 
CoqによるMsgPackの証明
CoqによるMsgPackの証明CoqによるMsgPackの証明
CoqによるMsgPackの証明Hiroki Mizuno
 
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)Hiroki Mizuno
 
20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会Hiroki Mizuno
 
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02Hiroki Mizuno
 
証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議Hiroki Mizuno
 
Coqによる証明駆動開発
Coqによる証明駆動開発Coqによる証明駆動開発
Coqによる証明駆動開発Hiroki Mizuno
 
NGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへNGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへHiroki Mizuno
 
From Coq to Ruby / CoqからRubyへ
From Coq to Ruby / CoqからRubyへFrom Coq to Ruby / CoqからRubyへ
From Coq to Ruby / CoqからRubyへHiroki Mizuno
 
OCamlAPISearchの紹介
OCamlAPISearchの紹介OCamlAPISearchの紹介
OCamlAPISearchの紹介Hiroki Mizuno
 

Mais de Hiroki Mizuno (20)

TypeSafe OSの試み
TypeSafe OSの試みTypeSafe OSの試み
TypeSafe OSの試み
 
OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法
 
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性についてScala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
 
Java基礎
Java基礎Java基礎
Java基礎
 
Sml#探検隊
Sml#探検隊Sml#探検隊
Sml#探検隊
 
どこでもCoq
どこでもCoqどこでもCoq
どこでもCoq
 
Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋
 
Darcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbcDarcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbc
 
Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力
 
CoqによるMsgPackの証明
CoqによるMsgPackの証明CoqによるMsgPackの証明
CoqによるMsgPackの証明
 
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)
 
20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会
 
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
 
証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議
 
Coqによる証明駆動開発
Coqによる証明駆動開発Coqによる証明駆動開発
Coqによる証明駆動開発
 
NGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへNGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへ
 
From Coq to Ruby / CoqからRubyへ
From Coq to Ruby / CoqからRubyへFrom Coq to Ruby / CoqからRubyへ
From Coq to Ruby / CoqからRubyへ
 
SacalaZa #1
SacalaZa #1SacalaZa #1
SacalaZa #1
 
CoqUn2010
CoqUn2010CoqUn2010
CoqUn2010
 
OCamlAPISearchの紹介
OCamlAPISearchの紹介OCamlAPISearchの紹介
OCamlAPISearchの紹介
 

#NGK2012B Excelによる設計書について