プログラミングの大学初年次教育をどのように遠隔で成り立たせるか？の記録｜Satoshi Nakamura
新型コロナウィルスの影響で，大学での対面講義ができなくなる可能性が出てきた3月ごろから，私が主として担当している約120人の受講生を抱える大学1年生必修科目であるプログラミング演習1をどのようにして成り立たせるのかを色々と考え，実行に移してきました．この記事では，その試行錯誤と準備と，失敗と，改善について，記憶がまだ鮮明なうちに自分の記録がてら（また，これから遠隔の演習講義を担当される方への参考情報として）残しておこうと思います． 前提明治大学 総合数理学部 先端メディアサイエンス学科（FMS学科）では，1年次の4～5月（第1クォーター）にエンタテイメントプログラミング演習があり，ここではHSPという言語を使ってプログラムを書くことで様々なことができることを知り，発表会にてHSPを利用した表現に挑戦します．その後を受けて6～7月（第2クォーター）にこのプログラミング演習1という講義がありま
Using Zig to Provide Stack Traces on Kernel Panic for a Bare Bones Operating System - Andrew Kelley
Using Zig to Provide Stack Traces on Kernel Panic for a Bare Bones Operating System Last week, I reached an exciting milestone in my career as a programmer. For the first time in my life, I ran code directly on hardware, with no Operating System sitting between the bare metal and my code. For some context, the goal of this side project is to create a 2-4 player arcade game running directly on a Ra
ローカル開発環境の https 化 | blog.jxck.io
Intro Web の https 化が進み、それに伴って https を前提とする API も増えてきた。 そうした API を用いた開発をローカルで行う場合、 localhost という特別なホストを用いることもできるが、それだけでは間に合わないケースも少なからずある。 localhost を https にするという方法もあるが、そのように紹介されている方法には、いくつか注意すべき点もある。 この辺りの話を、直近 1 ヶ月で 3 回くらいしたので、筆者が普段使っている方法や注意点についてまとめる。 特に推奨するつもりはない。 Update chrome の --host-rules について追記 localhost での開発の注意点 例として https://example.com にデプロイする予定の ServiceWorker を用いたアプリがあったとする。 開発をローカルで行う
The Blech language
@[CFunction(binding = "showConsole", header = "runtimeLAPFAST.h")]
政府情報システムにおけるゼロトラスト適用に向けた考え方 | 政府CIOポータル
本サイトは、過去のIT総合戦略室の情報発信サイトです。2022年6月30日に更新を停止しました。 現在のデジタル政策に関するデジタル庁の公式サイトはこちらをご覧ください。 境界型セキュリティの限界を示し、ゼロトラストと呼ばれるこれからのセキュリティの考え方を紹介し、政府情報システムにおけるゼロトラストの適用の取り組みを取りまとめました。 パブリック・クラウドの利用、働き方改革、APIによる官民連携等が政策上の大きなテーマとなっていますが、これらを推進するには、これまでの境界型セキュリティの考え方だけでは、その実現が困難です。 本文書では、上記のとおり境界型セキュリティの限界を示し、ゼロトラストと呼ばれるこれからのセキュリティの考え方を紹介し、政府情報システムにおけるゼロトラストの適用の取り組みを1)パブリック・クラウド利用可能システムと利用不可システムの分離、2)システムのクラウド化徹底と
Splittable pseudo-random number generators in Haskell: random v1.1 and v1.2
This can arise when you have different threads. But it’s of prime importance in a lazy language like Haskell, since it makes it possible to generate deterministic random numbers lazily. For instance, split is used in QuickCheck’s Gen monad. An easy implementation of split is to duplicate the current state. But, the two parallel sequences will not be independent: indeed they will be identical. A sl
ShellでSeleniumを作る ~Shellnium~ - Qiita
はじめに この記事はQiita夏祭り2020のイベントの1つ、パソナテックさんが開催している「〇〇（言語）のみを使って、今△△（アプリ）を作るとしたら」のテーマで投稿しています。 いやぁ良いお題ですよね。エンジニア心揺さぶられるし、景品も豪華だし、何よりちょっとワクワクしたので参加させていただきました。 今回は「ShellでSeleniumを作る ~Shellnium~」というお題でやっていきます。下記はShellniumで遊んでいるGIFです。 ブラウザの自動操作の模様をiTermの背景として鑑賞することができます。意味不明さがすごいですね。(透明度をいじってるとかではありません) いろんな言語でSeleniumは扱える Seleniumは皆さん御存知の通り、ブラウザの自動操作をするツールですね。 SeleniumはWebDriverを介してブラウザの自動操作を行っていくもので、php,
分散合意アルゴリズム Raft を TLA+ で検証する - 俺の Colimit を越えてゆけ
はじめに 分散合意アルゴリズム Raft とは 分散合意アルゴリズムとは Raft の特徴 Raft が満たす性質 Election Safety Leader Append-Only Log Matching Leader Completeness State Machine Safety TLA+ とは TLA+ による Raft の形式的仕様 TLA+ による Raft の検証方法 TLA+ Toolbox のインストール 新規 Spec の作成 Model の作成と実行 補足: コマンドラインでの検証 Raft の拡張について Leadership Transfer Membership Change Log Compaction Client Interaction おわりに Raft 理解度を調べるクイズ 参考資料 Raft に関する資料 TLA+ に関する資料 はじめに この
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - bach-sh/bach: Bach Testing Framework
Generating random maps
Minkowski Asteroids • Nicholas Pilkington
Implementing the Exponential Function — pseudorandom.com
Netpbm Animation Showcase
Jeremy Gibbons: Algorithm Design with Haskell
GitHub - agrinman/tunnelto: Expose your local web server to the internet with a public URL.