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

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

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

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

概要

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

会場

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

タイムテーブル

発表

らむだフレンズのウラ話

• nikosai（M1） @nikosai2531

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

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

• shira（B4） @aime

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

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

• y_tsune（D2） @tsune0517

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

シェル芸のせかい

• Ryoto（M2） @systemctl_ryoto

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

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

• 君津（M1） @east_kimitsu

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