タグ
- すべて
- 2ch (52)
- 3d (75)
- aa (16)
- ada (25)
- address (16)
- agile (17)
- ai (146)
- alexa (16)
- algorithm (43)
- alloc (24)
- amazon (115)
- amd (32)
- amd64 (23)
- android (794)
- anime (39)
- api (63)
- apple (75)
- application (38)
- apt (18)
- architecture (23)
- arduino (112)
- arm (289)
- art (64)
- assembler (58)
- async (27)
- ats (115)
- audio (35)
- auth (19)
- auto (36)
- avr (84)
- aws (109)
- azure (39)
- backup (38)
- battery (48)
- beginner (20)
- benchmark (114)
- bike (16)
- binary (44)
- bios (24)
- bitcoin (29)
- ble (18)
- blog (61)
- bluetooth (61)
- board (58)
- bond (23)
- book (365)
- boot (70)
- bootloader (17)
- browser (87)
- bsd (33)
- bts (18)
- bug (45)
- build (51)
- business (248)
- c (405)
- c++ (251)
- cache (26)
- calc (25)
- calendar (32)
- camera (63)
- car (99)
- char (18)
- chart (24)
- chat (80)
- cheatsheet (25)
- child (33)
- china (80)
- chrome (130)
- ci (39)
- circuit (73)
- clang (33)
- cli (35)
- client (21)
- clock (21)
- cloud (45)
- code (87)
- coffee (19)
- color (22)
- comic (72)
- command (75)
- communication (23)
- company (30)
- compare (44)
- compile (36)
- compiler (140)
- computer (27)
- config (37)
- console (41)
- convert (19)
- cook (632)
- coq (76)
- coronavirus (27)
- cortexm (153)
- cpu (266)
- crypt (36)
- csharp (16)
- css (36)
- cuda (24)
- cyanogenmod (21)
- data (17)
- database (138)
- debian (259)
- debug (224)
- deeplearning (49)
- design (197)
- desktop (49)
- devel (19)
- device (25)
- diagram (43)
- dictionary (28)
- diff (22)
- display (70)
- diy (17)
- dns (29)
- doc (1077)
- docker (58)
- dotnet (38)
- download (20)
- draw (53)
- drink (16)
- driver (40)
- dropbox (34)
- dvd (16)
- earthquake (18)
- ec2 (22)
- eclipse (28)
- eco (49)
- economy (344)
- editor (73)
- education (156)
- emacs (180)
- email (27)
- embedded (85)
- emulator (61)
- english (116)
- epaper (23)
- epub (23)
- erlang (23)
- error (30)
- esp32 (113)
- esp8266 (56)
- etf (18)
- ethercat (20)
- ethernet (49)
- excel (19)
- facebook (47)
- family (19)
- ffmpeg (18)
- figure (29)
- file (74)
- filesystem (125)
- firefox (158)
- firmware (38)
- flash (71)
- fly (17)
- font (57)
- food (83)
- formal-method (35)
- format (23)
- forth (48)
- fpga (271)
- framework (18)
- free (46)
- freebsd (51)
- freertos (31)
- fuzzing (27)
- gadget (75)
- gae (33)
- game (213)
- gc (60)
- gcc (114)
- gdb (108)
- gdbserver (36)
- ghc (70)
- girl (126)
- git (226)
- github (73)
- gmail (24)
- gnome (46)
- gnu (32)
- gnupg (19)
- go (97)
- google (311)
- gps (28)
- gpu (110)
- graph (128)
- graphics (97)
- greasemonkey (27)
- gtk (41)
- gui (131)
- guitar (17)
- hardware (518)
- haskell (501)
- hdd (38)
- hdl (84)
- health (63)
- heap (16)
- heroku (23)
- history (38)
- home (41)
- hosting (122)
- hotel (25)
- house (91)
- htc (16)
- html (59)
- html5 (23)
- http (49)
- human (276)
- hypervisor (18)
- i2c (16)
- i3 (22)
- ibm (19)
- icestorm (29)
- ide (80)
- image (24)
- install (26)
- intel (84)
- internal (26)
- internet (24)
- invest (75)
- ios (91)
- iot (62)
- ipad (39)
- iphone (187)
- ipod (19)
- irc (17)
- isabelle (22)
- japan (267)
- japanese (1060)
- java (208)
- javascript (443)
- jit (20)
- job (82)
- joke (459)
- js (17)
- json (21)
- jtag (20)
- jupyter_notebook (26)
- jvm (33)
- kde (30)
- kernel (370)
- key (25)
- keyboard (120)
- kicad (22)
- kindle (46)
- kubernetes (17)
- kvm (39)
- language (647)
- lattice (51)
- lcd (28)
- learning (34)
- lib (43)
- libc (17)
- license (50)
- life (244)
- lifehack (31)
- lint (24)
- linux (1207)
- lisp (80)
- live (24)
- llm (20)
- llvm (69)
- location (22)
- log (23)
- login (24)
- lua (25)
- mac (95)
- macos (20)
- mail (88)
- maker (17)
- malloc (20)
- malware (17)
- map (69)
- markdown (25)
- mastodon (21)
- math (145)
- mbed (40)
- mcu (90)
- meeting (73)
- memo (28)
- memory (210)
- meteor (17)
- method (16)
- microkernel (16)
- microsoft (133)
- mind (24)
- mips (32)
- ml (30)
- mmu (20)
- mobi (17)
- mobile (185)
- model (17)
- monad (18)
- money (473)
- mouse (23)
- movie (253)
- mozilla (42)
- mp3 (31)
- ms (53)
- msp430 (33)
- music (252)
- mysql (40)
- ndk (30)
- netbsd (132)
- network (394)
- news (18)
- nintendo (46)
- nixos (18)
- nodejs (33)
- notepc (43)
- notify (17)
- nuclear (26)
- nvidia (32)
- nxp (31)
- oauth (24)
- ocaml (145)
- online (35)
- opengl (21)
- openocd (26)
- openrisc (18)
- opensouce (44)
- opensource (35)
- os (184)
- oss (90)
- osx (105)
- p2p (53)
- package (71)
- paper (97)
- parallel (28)
- parser (39)
- patch (19)
- pc (43)
- pda (20)
- pdf (119)
- pen (16)
- performance (211)
- perl (27)
- phone (88)
- photo (155)
- php (60)
- pic (27)
- pic32 (23)
- play (21)
- plugin (26)
- podcast (38)
- pointer (17)
- power (59)
- powerpc (17)
- presentation (83)
- print (19)
- printer (41)
- profile (28)
- profiler (57)
- programming (121)
- project (56)
- prolog (19)
- proof (63)
- protocol (23)
- proxy (26)
- pthread (27)
- python (288)
- qemu (79)
- qt (62)
- quality (23)
- quantum (18)
- radio (25)
- rails (95)
- raspberrypi (109)
- react (32)
- read (17)
- realtime (23)
- redhat (22)
- repl (18)
- research (31)
- restaurant (74)
- review (34)
- risc-v (130)
- robot (24)
- root (42)
- rpc (19)
- rss (61)
- rtos (65)
- ruby (384)
- rust (366)
- s3 (20)
- scala (58)
- scan (17)
- science (22)
- scraping (26)
- sd (29)
- search (107)
- secure (307)
- security (497)
- seplog (21)
- serial (49)
- server (158)
- service (18)
- setting (22)
- sf (27)
- share (23)
- shell (50)
- shop (112)
- sim (30)
- simd (17)
- simulator (35)
- skk (35)
- skype (25)
- sleep (42)
- slide (73)
- small (16)
- smalltalk (28)
- smart (16)
- smp (81)
- smt (22)
- sns (71)
- soc (19)
- society (599)
- software (71)
- solver (16)
- sound (238)
- source (88)
- spa (25)
- space (38)
- specification (48)
- spi (23)
- sql (71)
- ssd (30)
- ssh (58)
- ssl (44)
- stack (18)
- static (70)
- stm32 (182)
- stock (22)
- storage (162)
- streaming (62)
- style (23)
- svg (16)
- sway (16)
- sync (29)
- tablet (20)
- tcpip (61)
- tdd (22)
- team (16)
- terminal (65)
- test (61)
- testing (193)
- tex (74)
- text (29)
- thinkpad (53)
- thread (97)
- tile (18)
- time (33)
- tla+ (25)
- tls (37)
- todo (52)
- trace (25)
- translation (45)
- travel (143)
- tutorial (85)
- tv (31)
- twitter (184)
- type (92)
- typescript (27)
- ubuntu (77)
- ui (107)
- uml (30)
- unix (125)
- update (23)
- us (138)
- usa (136)
- usb (150)
- ustream (22)
- vcs (63)
- verifast (22)
- verify (361)
- verilog (117)
- vhdl (38)
- vi (23)
- video (125)
- vim (42)
- virtualization (71)
- visualization (23)
- vm (45)
- vmware (25)
- voice (52)
- vps (39)
- vscode (37)
- war (36)
- wasm (22)
- watch (29)
- wayland (30)
- web (591)
- webapi (280)
- webcam (17)
- wifi (166)
- wii (21)
- wiki (60)
- windows (427)
- wireless (28)
- work (69)
- world (27)
- x (38)
- x11 (42)
- x86 (74)
- xen (17)
- xilinx (62)
- xorg (17)
- yokohama (27)
- yosys (35)
- youtube (85)
- z3 (26)
- あとで読む (360)
- linux (1207)
- doc (1077)
- japanese (1060)
- android (794)
- language (647)
- cook (632)
- society (599)
- web (591)
- hardware (518)
- haskell (501)
lawに関するmasterqのブックマーク (6)
-
masterq 2024/08/07
"国民年金法の基本的条文の述語論理による記述と, その SMT ソルバー Z3Py による検証を試行した結果"- law
- z3
- python
- solver
- verify
- japanese
- paper
- smt
リンク -
ブラジル政府が法廷闘争のコスト削減のためOpenAIを採用
AIを使った業務の高速化を図るため、ブラジル政府がOpenAIのAIサービスを利用する予定であると報じられました。AIは司法長官事務所に導入され、訴訟の審査と分析が行われるものとみられています。 Brazil hires OpenAI to cut costs of court battles | Reuters https://www.reuters.com/technology/artificial-intelligence/brazil-hires-openai-cut-costs-court-battles-2024-06-11/ Brazil will start using OpenAI to streamline court system • The Register https://www.theregister.com/2024/06/11/brazil_openai_j
-
-
大逆罪・不敬罪の廃止 | 日本国憲法の誕生
資料と解説・第5章 憲法の施行 5-13 大逆罪・不敬罪の廃止 新憲法の成立に伴う刑法改正に際して、不敬罪、大逆罪の廃止をめぐる、日本政府とGHQの一連のやりとりを示した資料である。1946（昭和21）年12月20日、ホイットニー民政局長は、木村篤太郎司法大臣に対し、不敬罪、大逆罪に関する規定を定めた刑法第73条から第76条までの条項を削除するよう指示を与えた。これを受けて、吉田茂首相は、12月27日付けのマッカーサー宛書簡で、1）天皇の身体への暴力は国家に対する破壊行為であること、2）皇位継承に関わる皇族も同様に考えられること、3）英国のような君主制の国においても同様の特別規定があること、を理由に大逆罪の存置を訴えた。しかし民政局法務課長のアルフレッド・オプラーは、吉田の書簡の内容について調査を行い、アメリカ大統領及びイギリス国王には日本の大逆罪に該当するような特別規定は存在しない、と結
-
法律をGitHubのプルリクエスト機能を使って修正するその一部始終が公開中
アメリカ合衆国の首都ワシントンでは、法律がGitHubを使用して管理されています。法律のオープンデータ化を推進するサービス「GovTrack」の創設者であるジョシュア・トーベラーさんが条文のタイプミスを見つけてからプルリクエスト機能を使って修正するまでの流れが海外ニュースメディアのArs Technicaで公開されています。 How I changed the law with a GitHub pull request | Ars Technica https://arstechnica.com/tech-policy/2018/11/how-i-changed-the-law-with-a-github-pull-request/ ある日、トーベラーさんが法律を調査していた時に条文の参照が誤っていることを発見したとのこと。問題となったのは「公開政府省は、第2編第5章のIの実施に関して助
-
Docracy - Learn More
Docracy is no longer available. Check out our eSignature platform eversign. The Docracy product is no longer available to use. However, we have teamed up with eversign to offer all Docracy customers a free 30-day trial of eversign, one of the leading electronic signature platforms currently on the market. Whenever you need to securely sign a document, you can now use eversign's eSignature toolkit
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
