Question: What band was the Academy Award nominee, for his work on the original score of the film directed, and produced by Spike Jonze, that  follows a man who develops a relationship with an intelligent computer operating system personified through a female voice, in?

Context paragraphs:
IMAX 432: In the history of computer operating systems, iMAX 432 (Intel Multifunction Applications Executive for the Intel 432 Micromainframe) was an operating system developed by Intel for digital electronic computers based on the 1980s Intel iAPX 432 32-bit microprocessor.  The term "micromainframe" was an Intel marketing designation describing the iAPX 432 processor's capabilities as being comparable to a mainframe.  The iAPX 432 processor and the iMAX 432 operating system were incompatible with the x86 architecture commonly found in personal computers in the 1980s-2010s.  iMAX 432 was implemented in a subset of the original (1980) version of the Ada programming language, extended with runtime type checking and dynamic package creation.

Carter Burwell: Carter Benedict Burwell (born November 18, 1954) is an American composer of film scores.  He has frequently collaborated with the Coen brothers, having scored 15 of their films.  Burwell has scored three of Todd Haynes' films, receiving an Academy Award nomination for Best Original Score for Haynes' "Carol" (2015).  Other notable films scores include the Spike Jonze films "Being John Malkovich" (1999), "Adaptation" (2002) and "Where the Wild Things Are" (2009), David O. Russell's "Three Kings" (1999), "Olive Kitteridge" (2014), and "Anomalisa" (2015).

William Butler (musician): William Pierce Butler (born October 6, 1982) is an American multi-instrumentalist and composer who is best known as a core member of the indie rock band Arcade Fire.  Will plays synthesizer, bass, guitar and percussion.  He is known for his spontaneity and antics during performances.  He is the brother of Arcade Fire frontman Win Butler.  Butler received his first Academy Award nomination for his work on the original score of the film "Her" in 2014.

List of accolades received by Her (film): "Her" is a 2013 American comedy-drama film written, directed, and produced by Spike Jonze.  The film's musical score was composed by Arcade Fire, with the cinematography provided by Hoyte van Hoytema.  It marks Jonze's solo screenwriting debut.  The film follows Theodore Twombly (Joaquin Phoenix), a man who develops a relationship with Samantha (Scarlett Johansson), a female voice produced by an intelligent computer operating system.  The film also stars Amy Adams, Rooney Mara, and Olivia Wilde.

Hello Tomorrow: Hello Tomorrow is the title of a 2005 Adidas television advertisement, and also the name of the song used in the commercial.  The 90-second spot was created by Oscar-nominated film director Spike Jonze for ad agency TBWA\Chiat\Day to advertise the adidas_1 "intelligent" sneakers.  The title song was composed specifically for the advertisement by Jonze's brother, Sam "Squeak E. Clean" Spiegel, and its lyrics were sung by Jonze's then-girlfriend, Karen O of the Grammy-nominated rock band Yeah Yeah Yeahs.  Proving to be an incredibly successful commercial, "Hello Tomorrow" received many honors; these include two Gold Lions at the 2005 Cannes Lions International Advertising Festival, three 2006 Silver Clio Awards, and a 2006 Gold EFFIE Award.

Her (film): Her is a 2013 American romantic science-fiction drama film written, directed, and produced by Spike Jonze.  It marks Jonze's solo screenwriting debut.  The film follows Theodore Twombly (Joaquin Phoenix), a man who develops a relationship with Samantha (Scarlett Johansson), an intelligent computer operating system personified through a female voice.  The film also stars Amy Adams, Rooney Mara, and Olivia Wilde.

TRIPOS: TRIPOS ("TRIvial Portable Operating System") is a computer operating system.  Development started in 1976 at the Computer Laboratory of Cambridge University and it was headed by Dr. Martin Richards.  The first version appeared in January 1978 and it originally ran on a PDP-11.  Later it was ported to the Computer Automation LSI4 and the Data General Nova.  Work on a Motorola 68000 version started in 1981 at the University of Bath.  MetaComCo acquired the rights to the 68000 version and continued development until TRIPOS was chosen by Commodore Amiga in March 1985 to form part of an operating system for their new computer; it was also used at Cambridge as part of the Cambridge Distributed Computing System.

SMSQ/E: SMSQ/E is a computer operating system originally developed in France by Tony Tebby, the designer of the original QDOS operating system for the Sinclair QL personal computer.  It began life as SMSQ, a QDOS-compatible version of SMS2 intended for the Miracle Systems QXL emulator card for PCs.  This was later developed into an extended version, SMSQ/E, for the Atari ST.  It consists of a QDOS compatible SMS kernel, a rewritten SuperBASIC interpreter called SBasic, a complete set of SuperBASIC procedures and functions and a set of extended device drivers originally written for the QL emulator for the Atari ST.

GLaDOS: GLaDOS (Genetic Lifeform and Disk Operating System) is a fictional artificially intelligent computer system from the video game series "Portal".  GLaDOS later appeared in "The Lab" and "Lego Dimensions".  The character was created by Erik Wolpaw and Kim Swift and voiced by Ellen McLain.  GLaDOS is responsible for testing and maintenance in the Aperture Science research facility in all titles.  While GLaDOS initially appears in the first game to simply be a voice that guides the player, her words and actions become increasingly malicious as she makes her intentions clear.  The second game, as well as the Valve created comic "Lab Rat", reveals that she was mistreated by the scientists and used a neurotoxin to kill the scientists in the laboratory before the events of "Portal".  She is ostensibly destroyed at the end of the first game but returns in the sequel, in which she is comically supplanted and temporarily stuck on a potato battery.

Coppola family tree: The lineal descendants of Carmine Coppola and Italia Pennino have been nominated 23 times for an Academy Award, winning 9 times in categories including Best Picture, Best Director, Best Actor, Best Original Screenplay, Best Adapted Screenplay, and Best Original Score.  In addition, Talia Shire's ex-husband David Shire, Sofia Coppola's ex-husband Spike Jonze, and Nicolas Cage's ex-wife Patricia Arquette are also Academy Award winners.

Supporting paragraphs: William Butler (musician) Her (film)
Answer: Arcade Fire