- 投稿日:2023-02-03T21:11:32+09:00
【Python】gradioで任意のHTML要素を作りたいときはgr.HTMLではなくgr.Markdownを使う?
概要 gradioで独自のhtmlを書きたいときに、gr.HTMLがなぜか機能せず、代わりにgr.Markdownを使ってなんとかしたという備忘録です。 gradioに入門したばかりなので、なにか初…
- 投稿日:2023-02-03T10:23:28+09:00
JavaScript で矢印キーで移動する枠をつくってみる
JavaScript で矢印キーで移動する枠を簡単につくってみる 出来上がったやつのイメージはこんな感じ HTML 3×3 のマス用意 <!doctype html> <html> <head> <…