SAKAI Masahiro - FrontPage Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
ここは酒井政裕(Masahiro Sakai)の個人ページです。
== About Me
((<URL:/~sakai/images/profile-photo.jpeg>))
2007 年 慶應義塾大学大学院政策・メディア研究科修士課程了。
現在、某社の研究部門に勤務。 形式手法、ソフトウェアテストなどのソフトウェア高信頼化の研究に従事。
関数型プログラミングや理論計算機科学にも興味を持つ。
訳書(共訳)に((<『抽象によるソフトウェア設計−Alloyではじめる形式手法−』|URL:https://sites.google.com/site/softwareabstractionsja/>))、((<『型システム入門−プログラミング言語と型の理論−』|URL:http://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?ISBN=978-4-274-06911-6>))。
(((<詳細|さかい>)))
((<Resume in English|URL:https://github.com/msakai/resume/blob/master/resume.md>))
== Contacts
* E-mail
* sakai {{e 'otimes'}} tom.sfc.keio.ac.jp
* masahiro.sakai {{e 'otimes'}} gmail.com
* Skype ID: masahiro.sakai
* ((<Google+|URL:https://profiles.google.com/Masahiro.Sakai/about>)), ((<Twitter|URL:http://twitter.com/masahiro_sakai>)), ((<Facebook|URL:http://www.facebook.com/masahirosakai>)),((<LinkedIn|URL:https://www.linkedin.com/in/masahirosakai>))((<LinkedIn|URL:https://www.linkedin.com/in/masahirosakai>)), ((<Wantedly|URL:https://www.wantedly.com/users/17786509>))
* ((<GitHub|URL:https://github.com/msakai>))
* ((<Blog|URL:/d/>))
== My Activities
* ((<Softwares|Software>))
* ((<Talks>))
* ((<Writings>))
* ((<Translations>))
* ((<Other contributions|Contributions>))
* ((<Programming Contests|ProgrammingContests>))
* ((<Media>))
* ((<Learning on MOOC|MOOC>))
* ((<"Study Groups (勉強会)"|StudyGroups>))
* ((<Running>))
* ((<Ingress>))
* ((<"Are You a Werewolf? (人狼)"|Werewolf>))
# == Misc Bookmarks
#
# * ((<GMail|URL:https://gmail.google.com/>)), ((<Googleニュース|URL:http://news.google.com/news?ned=jp>)), ((<Google Reader|URL:http://www.google.com/reader/view/>))
# # ((<feedbringer|URL:http://feedbringer.net/>))
# * ((<CiteSeer|URL:http://citeseer.ist.psu.edu/>)),
# ((<The ACM Portal|URL:http://portal.acm.org/portal.cfm>)),
# ((<Google Scholar|URL:http://scholar.google.com/>)),
# ((<CiteULike:msakai|URL:http://jp.citeulike.org/user/msakai>))
# * 本: ((<慶應大学図書館目録|URL:http://catalog.lib.keio.ac.jp/>)), ((<SFCメディアセンター|URL:http://www.sfc.lib.keio.ac.jp/>)), ((<データベース|URL:http://database.lib.keio.ac.jp/dbnavi/sfc/list.php>)),
# ((<鎌倉市図書館|URL:http://www.city.kamakura.kanagawa.jp/library/index.htm>)),
# ((<大学生協インターネットサービス|URL:http://www.shop.coop-bf.or.jp/>)),
# ((<e-hon|URL:http://www.e-hon.ne.jp/>))
# * ローカル: ((<神奈川県の映画館|URL:http://dir.yahoo.co.jp/Regional/Japanese_Regions/Kanto/Kanagawa/Entertainment/Movies_and_Film/Theaters/>)),
# 天気(((<鎌倉|URL:http://weather.yahoo.co.jp/weather/jp/14/14204/46106.html>)),((<藤沢|URL:http://weather.yahoo.co.jp/weather/jp/14/14205/46141.html>)))
# * 辞書等:
# ((<Lycosディクショナリ|URL:http://dic.lycos.co.jp/>)),
# ((<goo辞書|URL:http://dictionary.goo.ne.jp/>)),
# ((<Marriam-Webster|URL:http://www.m-w.com/home.htm>)),
# ((<Langtolang|URL:http://www.langtolang.com/>)),
# ((<Acronym Finder|URL:http://www.acronymfinder.com/>)),
# ((<アクセス独和辞典|URL:http://www5.mediagalaxy.co.jp/sanshushadj/>)),
# ((<英辞朗 on the Web|URL:http://www.alc.co.jp/>)),
# ((<Wikipedia|URL:http://ja.wikipedia.org/wiki/>))
# * 翻訳サービス:
# ((<Babel Fish|URL:http://babelfish.altavista.com/babelfish/tr>)),
# ((<Infoseekマルチ翻訳|URL:http://translation.infoseek.co.jp/>)),
# ((<NAVER - ENJOY Korea|URL:http://enjoykorea.jp/>)),
# ((<Language Translation|URL:http://translation.langenberg.com/>))
# * ((<RWiki|URL:http://pub.cozmixng.org/~the-rwiki/>)),
# ((<Ruby hotlinks|URL:http://www.rubyist.net/~kazu/samidare/>)),
# ((<WiLiKi|URL:http://www.shiro.dreamhost.com/scheme/wiliki/wiliki.cgi>)),
# ((<Haskell(sampou.org)|URL:http://www.sampou.org/cgi-bin/haskell.cgi>)),
# ((<関数的なアンテナ|URL:http://www.jmuk.org/samidare/functional.html>)),
# ((<検証的なアンテナ|URL:http://a.hatena.ne.jp/verifiable/>)),
# ((<Gauche@Lingr|URL:http://www.lingr.com/room/gauche/>))
# * 人狼:
# 人狼BBS (((<C|URL:http://ninjinel.x0.com/wolfc/index.rb>)),((<F|URL:http://ninjin002.x0.com/wolff/index.rb>)),((<まとめサイト|URL:http://wolfbbs.jp/>)),((<個人ページ|URL:http://wolfbbs.jp/msakai.html>))),
# ((<人狼審問|URL:http://www.juna.net/game/wolf/>)) (((<人狼ファンWiki|URL:http://jsfun525.gamedb.info/wiki//>)),((<個人ページ|URL:http://jsfun525.gamedb.info/wiki/?%B8%C4%BF%CD%A5%DA%A1%BC%A5%B8%2Fmsakai>)),((<ログ保管庫|URL:http://freda.hp2.jp/>))),
# #http://calorie.axisz.jp/cgi/pukiwiki/index.php?%B8%C4%BF%CD%A5%DA%A1%BC%A5%B8%2Fmsakai
# #http://www.jsfun525.com/pukiwiki/?%B8%C4%BF%CD%A5%DA%A1%BC%A5%B8%2Fmsakai
# ((<詳細戦績:msakai|URL:http://shinh.skr.jp/ninjin/?msakai>)), ((<ひぐらし人狼|URL:http://tkingdom.dtdns.net/h_jinro/>)),
# ((<MAD PEOPLE|URL:http://straws.sakura.ne.jp/madb01/index.cgi>)) (((<"ID:msakai"|URL:http://straws.sakura.ne.jp/madb01/?user=msakai>)), ((<Wiki|URL:http://madpeople.gamedb.info/wiki/>))), ((<IMP|URL:http://i-saint.skr.jp/imp/>))
# * Finance:
# ((<"三井住友銀行 One'sダイレクト"|URL:http://direct.smbc.co.jp/aib/>)),
# ((<住信SBIネット銀行|URL:https://www.netbk.co.jp/>)),
# # ((<"E*TRADE"|URL:https://newtrading.etrade.ne.jp/ETGate>))
# # (((<バックアップ|URL:https://m.etrade.ne.jp/k>))),
# # ((<"E*TRADE"|URL:http://www.sbisec.co.jp/>))
# # (((<バックアップ|URL:https://k.sbisec.co.jp>))),
# ((<"SBI証券"|URL:http://www.sbisec.co.jp/>))
# (((<SBI証券(バックアップ)|URL:https://k.sbisec.co.jp>))),
# ((<野村ほっとダイレクト|URL:https://www.hotto.nomura.co.jp>)),
# ((<持株WEBサービス|URL:https://www.e-plan.nomura.co.jp/e-forum/html/index.html>)),
# ((<Yahoo!ファイナンス|URL:http://quote.yahoo.co.jp/>)),
# # ((<Infoseekマネー|URL:http://money.www.infoseek.co.jp/MnTop/>)),
# # ((<EDINET|URL:http://info.edinet.go.jp/EdiHtml/main.htm>)),
# # ((<JASDAQインターネット開示システム|URL:http://jds.jasdaq.co.jp/>)),
# # ((<UFJ Card|URL:http://www.ufjcard.com/>)),
# ((<Citi Card|URL:http://www.citibank.co.jp/ccsi/>)),
# ((<Vpass|URL:https://www.smbc-card.com/mem/top/index.jsp>)),
# ((<LIFE-Web Desk|URL:https://www3.lifecard.co.jp/WebDesk/www/login.html>)),
# ((<セゾン投信|URL:http://www.saison-am.co.jp/>))
# * 学習: ((<Webラーニングプラザ|URL:http://weblearningplaza.jst.go.jp/>)), ((<SFC-GC|URL:http://gc.sfc.keio.ac.jp/>)), ((<SOI|URL:http://www.soi.wide.ad.jp/contents.html>)),
# ((<MIT OpenCourseWare|URL:http://ocw.mit.edu/>))
# # * ((<MyKDDI|URL:http://my.kddi.com/top/>)), ((<MyWILLCOM|URL:https://store.willcom-inc.com/ec/faces/member/enter.jsp>))
# * ((<web.archive.org|URL:http://web.archive.org/>))
# * ((<MSN Web Messenger|URL:http://webmessenger.msn.com/>))
# * ((<"The World Clock - Time Zones"|URL:http://www.timeanddate.com/worldclock/>))
# * ((<"暗黒通信団 〜The Darkside Communication Group〜"|URL:http://mikaka.org/~kana/>))
== About Me
((<URL:/~sakai/images/profile-photo.jpeg>))
2007 年 慶應義塾大学大学院政策・メディア研究科修士課程了。
現在、某社の研究部門に勤務。 形式手法、ソフトウェアテストなどのソフトウェア高信頼化の研究に従事。
関数型プログラミングや理論計算機科学にも興味を持つ。
訳書(共訳)に((<『抽象によるソフトウェア設計−Alloyではじめる形式手法−』|URL:https://sites.google.com/site/softwareabstractionsja/>))、((<『型システム入門−プログラミング言語と型の理論−』|URL:http://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?ISBN=978-4-274-06911-6>))。
(((<詳細|さかい>)))
((<Resume in English|URL:https://github.com/msakai/resume/blob/master/resume.md>))
== Contacts
* sakai {{e 'otimes'}} tom.sfc.keio.ac.jp
* masahiro.sakai {{e 'otimes'}} gmail.com
* Skype ID: masahiro.sakai
* ((<Google+|URL:https://profiles.google.com/Masahiro.Sakai/about>)), ((<Twitter|URL:http://twitter.com/masahiro_sakai>)), ((<Facebook|URL:http://www.facebook.com/masahirosakai>)),
* ((<GitHub|URL:https://github.com/msakai>))
* ((<Blog|URL:/d/>))
== My Activities
* ((<Softwares|Software>))
* ((<Talks>))
* ((<Writings>))
* ((<Translations>))
* ((<Other contributions|Contributions>))
* ((<Programming Contests|ProgrammingContests>))
* ((<Media>))
* ((<Learning on MOOC|MOOC>))
* ((<"Study Groups (勉強会)"|StudyGroups>))
* ((<Running>))
* ((<Ingress>))
* ((<"Are You a Werewolf? (人狼)"|Werewolf>))
# == Misc Bookmarks
#
# * ((<GMail|URL:https://gmail.google.com/>)), ((<Googleニュース|URL:http://news.google.com/news?ned=jp>)), ((<Google Reader|URL:http://www.google.com/reader/view/>))
# # ((<feedbringer|URL:http://feedbringer.net/>))
# * ((<CiteSeer|URL:http://citeseer.ist.psu.edu/>)),
# ((<The ACM Portal|URL:http://portal.acm.org/portal.cfm>)),
# ((<Google Scholar|URL:http://scholar.google.com/>)),
# ((<CiteULike:msakai|URL:http://jp.citeulike.org/user/msakai>))
# * 本: ((<慶應大学図書館目録|URL:http://catalog.lib.keio.ac.jp/>)), ((<SFCメディアセンター|URL:http://www.sfc.lib.keio.ac.jp/>)), ((<データベース|URL:http://database.lib.keio.ac.jp/dbnavi/sfc/list.php>)),
# ((<鎌倉市図書館|URL:http://www.city.kamakura.kanagawa.jp/library/index.htm>)),
# ((<大学生協インターネットサービス|URL:http://www.shop.coop-bf.or.jp/>)),
# ((<e-hon|URL:http://www.e-hon.ne.jp/>))
# * ローカル: ((<神奈川県の映画館|URL:http://dir.yahoo.co.jp/Regional/Japanese_Regions/Kanto/Kanagawa/Entertainment/Movies_and_Film/Theaters/>)),
# 天気(((<鎌倉|URL:http://weather.yahoo.co.jp/weather/jp/14/14204/46106.html>)),((<藤沢|URL:http://weather.yahoo.co.jp/weather/jp/14/14205/46141.html>)))
# * 辞書等:
# ((<Lycosディクショナリ|URL:http://dic.lycos.co.jp/>)),
# ((<goo辞書|URL:http://dictionary.goo.ne.jp/>)),
# ((<Marriam-Webster|URL:http://www.m-w.com/home.htm>)),
# ((<Langtolang|URL:http://www.langtolang.com/>)),
# ((<Acronym Finder|URL:http://www.acronymfinder.com/>)),
# ((<アクセス独和辞典|URL:http://www5.mediagalaxy.co.jp/sanshushadj/>)),
# ((<英辞朗 on the Web|URL:http://www.alc.co.jp/>)),
# ((<Wikipedia|URL:http://ja.wikipedia.org/wiki/>))
# * 翻訳サービス:
# ((<Babel Fish|URL:http://babelfish.altavista.com/babelfish/tr>)),
# ((<Infoseekマルチ翻訳|URL:http://translation.infoseek.co.jp/>)),
# ((<NAVER - ENJOY Korea|URL:http://enjoykorea.jp/>)),
# ((<Language Translation|URL:http://translation.langenberg.com/>))
# * ((<RWiki|URL:http://pub.cozmixng.org/~the-rwiki/>)),
# ((<Ruby hotlinks|URL:http://www.rubyist.net/~kazu/samidare/>)),
# ((<WiLiKi|URL:http://www.shiro.dreamhost.com/scheme/wiliki/wiliki.cgi>)),
# ((<Haskell(sampou.org)|URL:http://www.sampou.org/cgi-bin/haskell.cgi>)),
# ((<関数的なアンテナ|URL:http://www.jmuk.org/samidare/functional.html>)),
# ((<検証的なアンテナ|URL:http://a.hatena.ne.jp/verifiable/>)),
# ((<Gauche@Lingr|URL:http://www.lingr.com/room/gauche/>))
# * 人狼:
# 人狼BBS (((<C|URL:http://ninjinel.x0.com/wolfc/index.rb>)),((<F|URL:http://ninjin002.x0.com/wolff/index.rb>)),((<まとめサイト|URL:http://wolfbbs.jp/>)),((<個人ページ|URL:http://wolfbbs.jp/msakai.html>))),
# ((<人狼審問|URL:http://www.juna.net/game/wolf/>)) (((<人狼ファンWiki|URL:http://jsfun525.gamedb.info/wiki//>)),((<個人ページ|URL:http://jsfun525.gamedb.info/wiki/?%B8%C4%BF%CD%A5%DA%A1%BC%A5%B8%2Fmsakai>)),((<ログ保管庫|URL:http://freda.hp2.jp/>))),
# #http://calorie.axisz.jp/cgi/pukiwiki/index.php?%B8%C4%BF%CD%A5%DA%A1%BC%A5%B8%2Fmsakai
# #http://www.jsfun525.com/pukiwiki/?%B8%C4%BF%CD%A5%DA%A1%BC%A5%B8%2Fmsakai
# ((<詳細戦績:msakai|URL:http://shinh.skr.jp/ninjin/?msakai>)), ((<ひぐらし人狼|URL:http://tkingdom.dtdns.net/h_jinro/>)),
# ((<MAD PEOPLE|URL:http://straws.sakura.ne.jp/madb01/index.cgi>)) (((<"ID:msakai"|URL:http://straws.sakura.ne.jp/madb01/?user=msakai>)), ((<Wiki|URL:http://madpeople.gamedb.info/wiki/>))), ((<IMP|URL:http://i-saint.skr.jp/imp/>))
# * Finance:
# ((<"三井住友銀行 One'sダイレクト"|URL:http://direct.smbc.co.jp/aib/>)),
# ((<住信SBIネット銀行|URL:https://www.netbk.co.jp/>)),
# # ((<"E*TRADE"|URL:https://newtrading.etrade.ne.jp/ETGate>))
# # (((<バックアップ|URL:https://m.etrade.ne.jp/k>))),
# # ((<"E*TRADE"|URL:http://www.sbisec.co.jp/>))
# # (((<バックアップ|URL:https://k.sbisec.co.jp>))),
# ((<"SBI証券"|URL:http://www.sbisec.co.jp/>))
# (((<SBI証券(バックアップ)|URL:https://k.sbisec.co.jp>))),
# ((<野村ほっとダイレクト|URL:https://www.hotto.nomura.co.jp>)),
# ((<持株WEBサービス|URL:https://www.e-plan.nomura.co.jp/e-forum/html/index.html>)),
# ((<Yahoo!ファイナンス|URL:http://quote.yahoo.co.jp/>)),
# # ((<Infoseekマネー|URL:http://money.www.infoseek.co.jp/MnTop/>)),
# # ((<EDINET|URL:http://info.edinet.go.jp/EdiHtml/main.htm>)),
# # ((<JASDAQインターネット開示システム|URL:http://jds.jasdaq.co.jp/>)),
# # ((<UFJ Card|URL:http://www.ufjcard.com/>)),
# ((<Citi Card|URL:http://www.citibank.co.jp/ccsi/>)),
# ((<Vpass|URL:https://www.smbc-card.com/mem/top/index.jsp>)),
# ((<LIFE-Web Desk|URL:https://www3.lifecard.co.jp/WebDesk/www/login.html>)),
# ((<セゾン投信|URL:http://www.saison-am.co.jp/>))
# * 学習: ((<Webラーニングプラザ|URL:http://weblearningplaza.jst.go.jp/>)), ((<SFC-GC|URL:http://gc.sfc.keio.ac.jp/>)), ((<SOI|URL:http://www.soi.wide.ad.jp/contents.html>)),
# ((<MIT OpenCourseWare|URL:http://ocw.mit.edu/>))
# # * ((<MyKDDI|URL:http://my.kddi.com/top/>)), ((<MyWILLCOM|URL:https://store.willcom-inc.com/ec/faces/member/enter.jsp>))
# * ((<web.archive.org|URL:http://web.archive.org/>))
# * ((<MSN Web Messenger|URL:http://webmessenger.msn.com/>))
# * ((<"The World Clock - Time Zones"|URL:http://www.timeanddate.com/worldclock/>))
# * ((<"暗黒通信団 〜The Darkside Communication Group〜"|URL:http://mikaka.org/~kana/>))