第二回AKIBA.swift を開催しました！ #akibaswift | DevelopersIO
こんぬづは、ラブライブ！の真姫ちゃんを愛しています田中です。 弊社主催のAKIBA.swiftの第二回が2016/05/30に開催されました！ 今日はそのまとめをお送りします！ 第二回のテーマ 第２回はSwiftとObjective-Cの文法比較をテーマにお届けします！ Swiftの登場により、iOS開発はこれまでのObjective-Cのみによる開発からさらに幅を広げることとなりました。 SwiftとObjective-C、それぞれの文法を知ることでより良いiOS開発をしていきましょう。 はじめに 司会担当の弊社田宮から初めのあいさつとタイムテーブルの説明等がありました。 第一回開催より落ち着いた様子の田宮さん 「Swiftの型システム」 平川 剛一さん@GyazSquare 概要 SwiftはObjective-Cと異なり、型安全な言語である。本発表では、この型安全性を保証するためにS
「型」の定義に挑む | POSTD
科学はその方法論上のイメージよりもはるかに”ぞんざい”かつ”非合理的”なものである。 Paul Feyerabend著『Against Method（方法への挑戦）』（1975年） プログラミング言語は魅力的な分野です。それは、計算機科学（と論理）を 社会学や人間とコンピュータの相互作用 、科学的に定量化できない直感や嗜好、そして（良くも悪くも）政治などを含む分野と結び付けてくれるからです。 プログラミング言語を話題にする場合、たいてい何らかの客観的な真実を追求する科学的議論になってしまいます。科学は完璧のオーラに包まれているため、科学的本質の核心部だけに集中し、他の部分を無視するのが正しいプログラミング言語の考え方だと単純に思ってしまうのも無理ありません。 しかし、これではプログラミング言語を面白くしている多くのものが除外されてしまいます。この隙間を埋める1つの方法は、科学の哲学に目を向
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
画力・博士号・油田 on Twitter: "一応報告しますと，2017年度の未踏事業に採択して頂きました．LaTeXでいうところの “マクロ定義” がML系言語で書けて，かつ型システムによって入力ミスをできるだけ静的に検出してくれる組版システムを竹迫PMのご指導の下で実装していこうと思います．"
