Ueda Lab Meetup #1

イベント内容

新型コロナウイルスについての注意喚起

新型コロナウイルスの感染が拡大していますが、当イベントは以下を徹底した上で開催します。

  • 発表者を含め体調不良の方の参加をお断りします
  • 発表者を含め参加者の方にはマスクを着用していただきます

ご協力よろしくお願いします。

概要

上田研の学生が"研究以外の"トピックについて発表します。
上田研に興味がある方、上田研の学生が普段何を考えているのか興味がある方はぜひご参加ください。

会場

63号館0526ゼミ室
63号館0506会議室

タイムテーブル

時間 発表者 内容
13:00〜 開場
13:30〜14:00 nikosai 『らむだフレンズのウラ話』
14:05〜14:35 shira 『あなたの知らない地デジ録画サーバーの世界』
14:40〜15:10 y_tsune 『ParsecでParser書くのきんもちいいね』
15:10〜15:30 休憩
15:30〜16:00 Ryoto 『シェル芸のせかい』
16:05〜16:35 君津 『圏論とコンピュータサイエンス』

発表

らむだフレンズのウラ話

ラムダ計算は関数型プログラミングの礎として広く知られており、ラムダ式を解釈実行する処理系もこれまでに多く作られてきました。しかし、Webブラウザ上で軽快に動作し、かつ簡約グラフの表示などの十分な機能を備えたものは、私の知る限り存在しませんでした。そこで、私はこれらの特徴を兼ね備えた処理系「らむだフレンズ」を実装しました。今回の発表では、その実装に至った背景や実際に苦労した点などについてお話します。

あなたの知らない地デジ録画サーバーの世界

市販されているような地デジレコーダーを誰でも自作できちゃうことをご存知でしょうか?自宅に地デジ録画サーバーを立ててからそろそろ2年になるので、その間に得られた知見でも紹介できればと思います。※諸事情によりスライド等外に公開する予定はありません。

ParsecでParser書くのきんもちいいね

皆さんはパーサーをどうやって書きますか?YaccやBisonを使いますか?スクラッチから書きますか?今回の発表ではHaskellのパーサーコンビネーターライブラリ:Parsecを紹介します。Parsecは小さなパーサーを貼りあわせてボトムアップにパーサー全体を組み立てるようなプログラミングをサポートするライブラリです。関数型プログラミングの楽しさをParsecを使って紹介したいと思います。

シェル芸のせかい

___=$(.&>/???/??/${##});__=$?;! ___=${___##*.};____=$(${___:$(($__$#-$?)):$?}${___:$__*$__:$?}${___:$(($__$#-$__)):$?} -${___:$(($__#$?$?$#$?)):$?}&>/???/??/$?);____=${____##*: };! ____=${____,,};! _____=${____:${?}:$?}${____:$__$#:$?}${____:${?}$#:$?}${____:(__+${?})**(__+${?}):$?};! ___=($(${____:${?}:$?}${____:$(($__#$?$#$#$#$?)):$?}${___:$(($__#$?$?$#)):$?}${___:$(($__+$?)):$?} $_____ $($_____ -${____:${?}:$?} "{${___:$(($__#$?$?$#)):$?}..\\${____:__<<__<<${?}:$?}$(($__#$?$?$?))${____:$(($__#$?$?$#)):$?}}")));$_____ ${___[$__#$?$#$#$?$#]^}${___[$__#$?$?$?]}${___[__+__]}${___[$__#$?$#$?$?]}${___[$__#$?$#$?$?]}${___[$__#$?$?$#]^}${___[__+__]}${___[$__#$?$#$#$#]}'!!'

圏論とコンピュータサイエンス

20世紀中盤に誕生した圏論という数学の分野は、今では数学に限らない多くの領域に応用されています。コンピュータサイエンスもその例外ではなく、応用例としてHaskellやScalaなどの関数型言語が有名です。 今回の発表では圏の定義とごく簡単な例から始め、圏論的な考え方が数学やコンピュータサイエンスにおいてどのように役に立っているかを紹介します。

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。

類似しているイベント