# 有能リンク集

## micro:bit v2のエッジコネクター(Edge connector)の基本
> https://docs.iftiny.com/jp/education/microbit/stand-alone/basic/edge-connector/

## micro:bit用エッジコネクタピッチ変換基板 データシート
> https://cdn.shopify.com/s/files/1/0174/1800/files/5601b_built_edge_connector_breakout_board_for_the_bbc_microbit_datasheet_v1_1.pdf?12490662077898489497

## 18～20年度卒論URL
2018年度
鵜飼「Roomba制御のためのArduinoライブラリの作成」
https://ja.overleaf.com/read/bsppndhzsrxy
河井「客観的指標とピアレビューの併用によるコード改善動機付けの試案」
https://ja.overleaf.com/read/yxhcdhtdtxhg
二藤「ゲーム学習教材の外観が課題達成度に及ぼす影響」
https://ja.overleaf.com/read/fzxckthcydnh
橋川「タンジブルなブリック型プログラミングデバイスの実現手法：ソフトウェアの開発」
https://ja.overleaf.com/read/trxrhyctxpvj
廣林「タンジブルなブリック型プログラミングデバイスの実現手法:ハードウェアの開発」
https://ja.overleaf.com/read/fdnzknfqkcff
中嶋「Physical Computingのための可聴音I/Oインターフェース」
https://ja.overleaf.com/read/snsnvzkqgpwf 
林「Haskellを用いたモナドに基づく量子プログラミングの検討」
https://ja.overleaf.com/read/rbpfbnfnmjhp

2019年度
吉田「Roslynを用いた抽象構文木書き換えによるデコレーターの実装手法」
https://ja.overleaf.com/read/vrkpgyfqckjr
村瀬「Coqを用いたド・モルガンの法則の形式化証明」
https://ja.overleaf.com/read/hsvywnnfvvkv
杉山「末尾再帰に基づくタンジブルなプログラミング言語：抵抗分圧を用いたブロック判別の精度」
https://ja.overleaf.com/read/xpdfqqvrpccg
杉坂「末尾再帰に基づくタンジブルなプログラミング言語：プログラム転送とインタプリタ」
https://ja.overleaf.com/read/yxjtxmvjjgfj
位田「習作を取り入れたプログラム教育の提案」
https://ja.overleaf.com/read/vcjzgxmpvsnx
神谷「アーデンの補題に基づく言語の連立一次方程式の求解アルゴリズム」
https://ja.overleaf.com/read/qttkhbdpncsx

2020年度
田中「関数型言語Elmによるビジュアルプログラミング言語の実現」
https://ja.overleaf.com/read/tyzqcckxtcdh
服部「フィジカルコンピューティングにおける可聴音による情報伝達」
https://ja.overleaf.com/read/jjxjmgddwtgn
菱田「Coqを用いたレーブの定理の証明：クリプキ・モデルによる形式化」
https://ja.overleaf.com/read/mrrphydprjtw
平林「Coqを用いたレーブの定理の証明：公理系による形式化」
https://ja.overleaf.com/read/ynvhjgjjygjf
安井「クリーネ半環におけるアルゴリズムの双対性」
https://ja.overleaf.com/read/dwkdzdcrmnfv
山本「線形再帰と末尾再帰の双対性に関する考察とマクロによる実現」
https://ja.overleaf.com/read/fvsdjvfxzrhh